逻辑人生

作者: [奥] 约翰·卡斯蒂 / 维尔纳·德波利
出版社: 上海科技教育出版社
副标题: 哥德尔传
译者: 刘晓力 / 叶闯
出版年: 2002-11
页数: 152
定价: 12.30元
装帧: 平装
丛书: 哲人石丛书
ISBN: 9787542829788
5星
23.9%
4星
53.2%
3星
22.9%
2星
0.0%
1星
0.0%

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载
多本比价,批量购买

这本书的其他版本  · · · · · ·  ( 全部2 )

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

一日千里
一日千里
11月26日 想读


Greenwicher
Greenwicher
11月16日 读过

tags:传记 逻辑 人工智能 悖论 ...
这本书实际上是关于哥德尔不完备定理及其同构(邱奇-图灵论题、停机问题以及蔡汀定理)的介绍,当然关于哥德尔青少年时期及广义相对论推广(时间旅行)的贡献也有描述。由希尔伯特第二问题讲起,并以第十问题终结,全书贯穿着从不同角度来论述真理大于证明的事实。虽指明了认知的极限,但也从进化的角度说明了真理是可以逐步被理解的。从人工智能是否能实现的角度,与其制造一个人造人,不如生一个或者进化一个人。从机械主义形式化系统的角度,存在着为真,但我们无法通过机械推理来证明的事物,这一事物在系统外或许可以被证明为真;但即使这样,还存在着系统之上的系统,这一层层的防火墙给予我们不同的权限,阻止我们理解真善美。当然,人类的思维不能简单的从形式系统这样机械主义来描述,其迁移联想直觉等能力应该很难从机械化的程序中涌现出来吧

JF
JF
10月28日 想读


弓长一二
弓长一二
10月13日 想读

哥德尔传->哥德尔证明->GEB

> 9人在读

> 145人读过

> 276人想读

二手市场

订阅关于逻辑人生的评论:
feed: rss 2.0