逻辑在狭义上看是思维的规律，自从大概浏览过逻辑的引擎发现他是一部感人的科普著作。通过对计算机识别0/1序列这种最简单的数字，可以得出一个结论，复杂的问题都可以通过一层层的抽象分解成简单问题的集合，这也说明了数学的可解型。我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。本书对于希望从数理科学角度思考逻辑学本质问题的人来说基本可以列为必读书籍，它极大震撼了我的心灵和头脑，富有多方面的深刻的启发性。我很幸运，在少年时代接触了我认为对于理解现代科学的方向最为基本的系统科学自组织理论，哥德尔不完备性定理，分形与自相似的思想和理论。而对于逻辑尤其是因果律的怀疑和逐步走向不相信因果律，正是从本书开始。结尾写的真好:这一批天才横跨三个世纪，都以各自的方式探究人类理性的本性，由此孕育出了通用计算机的观念。这些故事强调了观念的重要和预测结果的徒劳。那些为科学家提供资源的人竭力要把他们印象那些能够尽快产出结果的方向，不仅短期可能是徒劳，最终遭殃的还是我们的未来。
网友评论