几何学在公理化方法下得到了很好的发展，所谓公理方法就是我给出一些不用证明就能得知正确的命题，并在这些命题推理出定理得方法。几何学凭借着这个方法得到了完善的发展。于是数学家认为，每一个数学分支都应存在这样的一组公理，从这组公理出发可以得到在此领域无穷无尽的命题。
哥德尔的论文证明了这个假设是站不住脚的。内格尔和纽曼认为在有了哥德尔的发现之后，可以认为计算机，原则上无法再推理方面做到和人类推理一样灵活。之所以如此，是因为计算机要遵循“一组固定指令”，而这个想法对应着固定的一组公理和推理规则，而计算机在执行程序的行为方式，就类似于一台机器在一个形式系统内系统的摆弄出定力的证明。
那么机器既然不能像人一样思考，那么并不能否认机器不能思考，只不过和人的思考方式不一样罢了。
哥德尔的论文证明了这个假设是站不住脚的。内格尔和纽曼认为在有了哥德尔的发现之后，可以认为计算机，原则上无法再推理方面做到和人类推理一样灵活。之所以如此，是因为计算机要遵循“一组固定指令”，而这个想法对应着固定的一组公理和推理规则，而计算机在执行程序的行为方式，就类似于一台机器在一个形式系统内系统的摆弄出定力的证明。
那么机器既然不能像人一样思考，那么并不能否认机器不能思考，只不过和人的思考方式不一样罢了。
（参考文献）
《哥德尔证明》
扫一扫
1493
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
