G术图书:14 Gödel,Escher,Bach~集异璧之大成
实际上,这本书的一个基本内容就是哥德尔不完全定理,形式系统的完全性和完备性是不能在系统内被证的.
Gödel, Escher, Bach - Wikipedia, the free encyclopedia
- 哥德尔,艾舍尔,巴赫 (豆瓣)
- 作者:[美] 侯世达 (Douglas Hofstadter) 著
- 郭维德 樊兰英 郭世铭 王桂蓉 王培 严勇 刘皓明 马希文 译
- ISBN: 7-100-01323-2/B·188
- 开本:850×1168 1/32
- 北京:商务印书馆
- 1053页 824千字
- 1996年8月第一版;2010年8月再版
介绍一本自身就难以界定的神书本身就是极其困难的,所以,只能先引用各种牛人的评述…