豆瓣
扫码直接下载
: B712.59/1622
罗素弄疯了康托尔，哥徳尔弄疯了罗素，哥徳尔晚年得了狂想症，冤冤相报何时了。
邏輯推演的界限是如此弱...
着重于讲述哥德尔理论，对其生平讲的很少。介绍了AI发展初期的很多理论。
哥德尔
哥德尔，20世纪三大数学天才
要是高中时能读到这本书就好了
2012-12-15 借于金陵图书馆
适合作为茶余饭后的消遣
启示录。
无趣
看过，没留下深刻印象
好书 不过后面就不知所云了
内容为王
五星。偶数章是哥德尔的传记，奇数章是数理逻辑，两条线索可以独立的走，非常奇特的安排。个人感觉算作科普来说内容难了点，给专业人士看又稍显弱智了。
个人感觉哥德尔最好的传记
如果想了解哥德尔证明，千万不要看这本书。这本书更像围绕着哥德尔证明的散文，非专业人士只能看个热闹吧。
不完全定理，复杂混沌却又清晰可解的逻辑观
让爱因斯坦佩服的逻辑学家，人生之路也挺怪的
这本书实际上是关于哥德尔不完备定理及其同构（邱奇-图灵论题、停机问题以及蔡汀定理）的介绍，当然关于哥德尔青少年时期及广义相对论推广（时间旅行）的贡献也有描述。由希尔伯特第二问题讲起，并以第十问题终结，全书贯穿着从不同角度来论述真理大于证明的事实。虽指明了认知的极限，但也从进化的角度说明了真理是可以逐步被理解的。从人工智能是否能实现的角度，与其制造一个人造人，不如生一个或者进化一个人。从机械主义形式化系统的角度，存在着为真，但我们无法通过机械推理来证明的事物，这一事物在系统外或许可以被证明为真；但即使这样，还存在着系统之上的系统，这一层层的防火墙给予我们不同的权限，阻止我们理解真善美。当然，人类的思维不能简单的从形式系统这样机械主义来描述，其迁移联想直觉等能力应该很难从机械化的程序中涌现出来吧
> 逻辑人生
1 有用 蝉 2014-02-26 15:09:30
: B712.59/1622
1 有用 文心孤竹 2012-12-06 11:50:50
罗素弄疯了康托尔，哥徳尔弄疯了罗素，哥徳尔晚年得了狂想症，冤冤相报何时了。
0 有用 Enhui 2010-03-11 17:44:39
邏輯推演的界限是如此弱...
1 有用 靖修 2015-03-26 17:33:17
着重于讲述哥德尔理论，对其生平讲的很少。介绍了AI发展初期的很多理论。
0 有用 迷途小书僮 2007-03-20 15:17:08
哥德尔
0 有用 yang_bigarm 2012-04-07 23:56:06
哥德尔，20世纪三大数学天才
0 有用 Yining 2009-05-13 19:28:08
要是高中时能读到这本书就好了
0 有用 井上冰 2013-01-05 09:08:15
2012-12-15 借于金陵图书馆
0 有用 jiangyy 2011-12-08 19:57:03
适合作为茶余饭后的消遣
0 有用 资深业余爱好者 2009-03-25 21:49:31
启示录。
0 有用 GaussianMT. 2009-02-01 18:32:48
无趣
0 有用 munik 2008-01-31 09:07:12
看过，没留下深刻印象
0 有用 un 2008-09-23 21:42:36
好书 不过后面就不知所云了
0 有用 sanqi 2009-05-25 17:57:11
内容为王
1 有用 阿不思 2012-07-05 15:39:33
五星。偶数章是哥德尔的传记，奇数章是数理逻辑，两条线索可以独立的走，非常奇特的安排。个人感觉算作科普来说内容难了点，给专业人士看又稍显弱智了。
0 有用 josuya 2011-08-03 15:49:39
个人感觉哥德尔最好的传记
0 有用 章浅白 2021-12-30 20:55:16
如果想了解哥德尔证明，千万不要看这本书。这本书更像围绕着哥德尔证明的散文，非专业人士只能看个热闹吧。
0 有用 Ibrahim 2011-11-21 22:40:48
不完全定理，复杂混沌却又清晰可解的逻辑观
0 有用 吨坡 2008-04-24 01:52:34
让爱因斯坦佩服的逻辑学家，人生之路也挺怪的
0 有用 Greenwicher 2016-11-16 11:05:53
这本书实际上是关于哥德尔不完备定理及其同构（邱奇-图灵论题、停机问题以及蔡汀定理）的介绍，当然关于哥德尔青少年时期及广义相对论推广（时间旅行）的贡献也有描述。由希尔伯特第二问题讲起，并以第十问题终结，全书贯穿着从不同角度来论述真理大于证明的事实。虽指明了认知的极限，但也从进化的角度说明了真理是可以逐步被理解的。从人工智能是否能实现的角度，与其制造一个人造人，不如生一个或者进化一个人。从机械主义形式化系统的角度，存在着为真，但我们无法通过机械推理来证明的事物，这一事物在系统外或许可以被证明为真；但即使这样，还存在着系统之上的系统，这一层层的防火墙给予我们不同的权限，阻止我们理解真善美。当然，人类的思维不能简单的从形式系统这样机械主义来描述，其迁移联想直觉等能力应该很难从机械化的程序中涌现出来吧