Godcl的完全性定理与早期数学哲学思想

摘要

Ｇｏｄｅｌ以其三大数学贡献闻名于世，Ｇｏｄｅｌ定理甚至被各个领域的人津津乐道。然而很少有人关注在他的巨大数学成就背后丰富而深刻的哲学思想。本文借助原始资料，通过对完全性定理证明与Ｇｄｅｌ早期数学哲学思想的分析，试图揭示他超越同时代人的深刻之处，并且指出，说Ｇｏｄｅｌ从二十年代后期起就是一个数学实在论者并不缺少证据。