图灵机跟现实电子计算机哪个计算能力强,图灵机与计算问题（jake）

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

19世纪末的人们忙于为基于集he论的数学建立公理体系大厦。然而就当这座大厦即将完工的时候，一件可怕的事情发生了，罗素提出来的罗素悖论粉碎了数学家的梦想。

关于罗素悖论的一个通俗化版本是：“村子里有一个理发师，他给自己定了一条规矩：‘不给那些所有给自己理发的人理发’。现在就要问，这个理发师该不该给自己理发？”。如果你尝试回答这个问题就会发现奇怪的事情：这个问题本身似乎是不可能的！正是因为这种奇怪的逻辑，哲学家罗素才颠覆了整个数学大厦的基础！

因为集he论中存在着矛盾，所以整个数学体系存在着根本性的矛盾，然而具有讽刺意味的是，数学一直以严格著称！这种感觉就好像正当你得意洋洋的时候有人突然闪了你一个耳光！

人们在一阵慌乱之后开始逐渐稳下阵角寻找避免罗素悖论产生的方法，并总希望通过细心的选择数学公理能够将类似罗素悖论这样的怪物一劳永逸的排除精确数学体系之外。

这就是后来希尔伯特提出来一套数学纲领的原因，他希望找到一套公理体系能够排除悖论，并挽救纯粹而美丽无暇的数学。虽然希尔伯特没能完成他的梦想，但他坚信梦想是对的。

然而，没过多少年，一个名不见经传的年轻逻辑学家哥德尔提出来的定理却彻底粉碎了希尔伯特的梦。这就是后来著名的哥德尔定理！

该定理大致上说：任何一个数学的公理化体系都不是“完美的”。

换个角度说，任何数学公理化系统都是死的，它总需要人为地从外界注入新的公理进去才能让它日趋完善，而它自己并不能完全自动避免矛盾产生。

哥德尔定理可以说整个扭转了人们的世界观。因为被认为最“完美”最“纯粹”的数学都是不完全的，那么纯粹完美的世界也应该不存在。

哥德尔定理还指出了“理性”和“分析”方法的极限。这才是后来人们步入到了“综合”时代的部分原因。

更有趣的是，哥德尔用来证明他定理的方法正和康托尔证明实数比自然数多、图灵停机问题以及罗素悖论的方法是一脉相承的。

所有这些都是20世纪上半个世纪发生的大事，后来发生了什么？计算机出现了、信息时代来临了，似乎科学技术是万能的，它们总会改善我们的生活，满足我们的欲望。

渐渐的，人们似乎淡忘了图灵、歌德尔、康托尔等等大师们的思想了。然而近年来随着复杂性科学的研究，人们却又有了重拾这些相对古老而根本问题的迹象了！