- 博客(1)
- 资源 (1)
- 问答 (3)
- 收藏
- 关注
原创 关于哥德尔证明
几何学在公理化方法下得到了很好的发展,所谓公理方法就是我给出一些不用证明就能得知正确的命题,并在这些命题推理出定理得方法。几何学凭借着这个方法得到了完善的发展。于是数学家认为,每一个数学分支都应存在这样的一组公理,从这组公理出发可以得到在此领域无穷无尽的命题。 哥德尔的论文证明了这个假设是站不住脚的。内格尔和纽曼认为在有了哥德尔的发现之后,可以认为计算机,原则上无法再推理方面做到和人类推
2017-04-22 09:57:06 739
TA创建的收藏夹 TA关注的收藏夹
TA关注的人