11.3 数学哲学（柏拉图主义、形式主义、直觉主义）

文档摘要

11.3 数学哲学（柏拉图主义、形式主义、直觉主义） 11.3 数学哲学（柏拉图主义、形式主义、直觉主义）数学，这门看似纯粹由逻辑与符号构筑的学科，实则深植于人类对“真理”、“存在”与“知识”的根本追问之中。当我们写下 $1 + 1 = 2$，或证明 $\sqrt{2}$ 是无理数时，我们究竟在做什么？是在发现一个早已存在的宇宙法则，还是在构建一套自洽的语言游戏？抑或是在心灵深处唤醒某种先验的构造能力？这些问题，构成了数学哲学的核心议题——它们不关乎计算技巧，而关乎数学的本质、地位与合法性。在二十世纪初那场席卷数学基础的“危机”中，三种主要的数学哲学立场应运而生：柏拉图主义、形式主义与直觉主义。