YY大眼萌

原创 关于哥德尔证明

几何学在公理化方法下得到了很好的发展，所谓公理方法就是我给出一些不用证明就能得知正确的命题，并在这些命题推理出定理得方法。几何学凭借着这个方法得到了完善的发展。于是数学家认为，每一个数学分支都应存在这样的一组公理，从这组公理出发可以得到在此领域无穷无尽的命题。     哥德尔的论文证明了这个假设是站不住脚的。内格尔和纽曼认为在有了哥德尔的发现之后，可以认为计算机，原则上无法再推理方面做到和人类推