很难定义这是一本什么类型的书，有点像传记，有点像科普，有点像哲学，这本书以哥德尔的生平为主线，介绍了哥德尔各个时期的成就(包括这些成就的推导过程），哲学思想，他和爱因斯坦以及其他伟大人物之间的关系及后人对他的评价。作者认为哥德尔在哲学上的成就被恶意忽视，这本书重点在为作为哲学家的哥德尔正名。
书的前半部分介绍了哥德尔最被人熟知的数学和逻辑学的成就，即哥德尔完备性定理，它证明的是某个系统无法被证明。具体内容有兴趣的同学可以自己去翻百度，其实对于证明的结论我不是很懂，证明的过程更是完全看不懂，但看到哥德尔同时代的好多数学家哲学家（甚至包括《数学原理》的作者之一罗素）都对哥德尔不完备定理表示困惑甚至错误的反对时，我心理得到了极大的安慰。。。
哥德尔完备性定理证明了任何形式的逻辑系统在捕获数学真理时必然的不完备性，其效果就是对形式主义的致命一击（这里视乎就包含了某种哲学意味）。同时它指出了计算机本质上能力的极限，以机械式的演算方式展示出机械式的演算的限制，这是计算机无法避免的限制。就算是在人工智能如此发达的现在，这点也是无法否认及翻越的。
书的后半部分介绍了哥德尔通过爱因斯坦的广义相对论证明了时间旅行的可能性，进而证明了时间其实是不存在的，由此上升到了哲学的思辨。证明的部分我是完全的看不懂。但看不懂不要紧，用书中的原话来说：你可以欣赏音乐，而不需要专注于每一个音符与字句。虽然这本书的大部分内容我无法准确掌握，但并不代表无法从中获益。
首先，我习惯神话某些伟大的人物，但看多了传记，会有种感觉，再伟大的人也是人，也有脆弱、弱点甚至令人不齿的方面，并不是有突出的异于常人的地方，在生活的方方面面就都和常人不一样，有种伟人走下神坛的感觉。但同时，作为一个人，又有如此的和超越常人的地方，这确实又让人感觉很神奇。
其次，一切问题研究到深处都会成为哲学问题，或者说各个学科的顶尖人物都有各自所坚信的哲学思想。想起了有人说的一个比喻：真理是一座高峰，人们从不同的道路试图登顶，不论科学也好，艺术也罢，爬得越高会发现距离越近。比如爱因斯坦从纯物理的角度无法发现广义相对论，是某数学家为了完成某项工作，将狭义相对论推广成几何的四维时空论，从而为爱因斯坦打开了一扇门，他对数学公式进行物理方面的解释从而得出广义相对论。
其实我们在生活中也需完善自己的哲学思想，这其实就是完善自己三观的一个过程，有了正确的哲学思想才才能从现在各种纷杂的信息中发现真相，指导我们做出正确的选择。总之就是需要多看书，多积累，多思考。
另外这本书是台湾人翻译的，图灵翻译成涂林，薛定谔翻译成薛丁格（另外肯定还有一些我没注意和不知道的），看起来相当的不习惯啊。
