作品总结
《The Unknowable（不可知（离散数学和理论计算机科学））》
柴廷斯（Chaitins）非常成功的《数学极限》书籍的一本重要陪伴书籍，对数学基础的重要工作进行了辉煌的历史回顾。《不可知》是对柴廷斯思想的一个非常可读的介绍，包括一个软件（在作者网站上），这将使用户能够与作者的证据互动。"柴廷斯的新书《不可知》是值得欢迎的。没有它，他就设法把他惊人的开创性见解让更大的观众的注意，很长一段时间以来他的工作已经值得这样的待遇。
关于本书的相关评论
“柴廷不是一个谦虚的作家， 但考虑到他个人对这里讨论的领域的贡献， 他没有理由这样做。这本书对外行来说不是一件容易的事（我知道，我是其中之一），但确实奖励了毅力。《不可知》的美妙之处在于，它通过研究哥德尔和图灵（当然还有柴廷）等著名思想家的重要证据，使读者能够理解柴廷的观点。走在这样的巨人的脚步上，理解这些理论，而不是接受它们作为公认的智慧，这种感觉很棒。我唯一的保留是， 介绍读者到 LISP 的章节相当密集， 很难遵循。然而，我发现，阅读弗里德曼和费勒森的"小李斯珀"的前几章，使它更容易理解 - 和LL是一个伟大的书反正。我会彻底推荐这本书给对数学哲学感兴趣的读者，他们不一定有深入的数学背景。”
“首先是这本书的好部分。柴廷斯第一章相当不错。在这里，他概述了戈德尔，图灵和他自己的结果。这是非常可读的。不进入真正的数学，他真的可以让你觉得你理解这些深刻的想法。后几章更深入地探讨了那里提出的想法，并用 lisp 计算机程序来说明它们。特别是寻找自我评估的 lisp 程序很有趣。
但是现在让我们把注意力集中在我不喜欢的书的部分。他的论述与他最初是如何学会这些结果的。当他解释他小时候怎么读这么多书时， 我第一次被迷住了。但很快我不想再听到他12岁时的感受。他还不断把自己的工作与其他科学家的作品作比较。我们现在真的需要承认他和戈德尔和图灵一样好。
例如，他用几页来解释科尔莫戈罗夫撕毁了他的想法。我也觉得有趣的是， 第 1 章和第 6 章都给 "我的第一个主要论文" 提供了相同的链接。
叹息。他是最好的，我们明白了，好吗？”
“在21世纪，数学家们将辩论柴廷定理的含义，就像我们现在辩论戈德尔和坎特定理的意义一样。我们在这里有一个难得的机会来阅读作者的解释。这本书很棒。这是迄今为止柴廷出版物中最精致、最易读的出版物。这本书的大部分价值来自简洁的LISP证明，这可以欣赏他们的美丽和狡猾。读者不仅要阅读证明，还要运行证明。”
客服咨询
400 093 7005
周一至周日：09:00AM-21:00PM
微信扫码关注
小程序扫码注册
0条评论