——形式主义与柏拉图主义的千年博弈
咱们上学时学数学，大概率都有过这么个隐形疑问：当老师在黑板上写下“三角形内角和等于180度”，或者解方程求“x的值”时，这些东西到底是哪儿来的？是数学家们关起门来商量着定的“游戏规则”，还是它们本来就藏在宇宙的某个角落，等着人类去发现？其实这个问题，已经让数学家和哲学家们吵了几千年，而吵得最凶的两大阵营，就是形式主义和柏拉图主义——数学哲学里的“两大巨头”。今天咱们就用大白话，把这两派的核心观点、恩怨情仇掰扯清楚，不用堆砌专业术语，就像听教授聊天一样，把这个看似深奥的话题聊透。
此文由 怡心湖 编辑，若您觉得有益，欢迎分享转发！：首页 > 会·生活 » 数学到底是“人造游戏”还是“宇宙真理”？