数学实在

数学实在是每一个数学研究者或教学者都会碰到的问题。一个典型的“正在工作的数学家”,在他研究数学时,他确信自己正在研究一种客观的实在,但是,当被问及这些实在的哲学含义时,他用来防身的最简单的遁词却是他根本不相信数学的实在性。大约在最近半个世纪里,数学哲学中形式主义的观点扶摇直上,而同一时期,数学杂志,甚至教科书或专题论文中占统治地位的表述方式就是坚持定义和证明的详尽精密、确凿可靠。由此可见。