来到了本书的最后一章，在本书中，作者试图通过三个人的丰功伟绩告诉我们，有跳出当前的层次才能更好的完成我们手头的工作，以“元”视角看待事物，我们才...

本章涉及的内容为哥德尔第二定理，以及对此定理的思考。 哥德尔那片旷世名作，主要涉及两个思想：1.系统内的符号串可以解释成另一些符号串，即系统的自...

在前面的章节中，我们知道递归就是一种有退出机制的嵌套。在本章中我们将接触计算机程序设计语言继续深入探讨递归。 Bloop Bloop是一种这样的...

上一章中，我们了解了人类大脑和蚁群的同构关系，符号作为高层次描述层次出现了，本章中作者深入讨论了符号之间的作用关系，并提出了更高层次的描述——子...

在本章之前的蚂蚁斌格中，作者通过食大夫和马姨的例子向我们展示了，一群的工作方式，作者认为这种方式和我们大脑的工作方式是一种映射关系。神经原就是单...

本章有将近3/4的内容为本人专业知识，所以读起来时“倍流畅”的。但是作者只是想通过计算机系统告诉我们看待系统的角度和层次不同，对系统的理解是非常...

本章作为整本书上半部分的总结意图告诉我们一个道理，以便于我们更好的理解哥德尔不完备定理，即通过哥德尔配数和哥德尔同构，所有的形式系统都可以转化为...

在本文的上半部分，我们了解了TNT系统如何形式化数论的，下面让我们来深入的了解一下TNT系统。 TNT系统拥有5条公理：1，对于所有a：～Sa=...

本章中，作者提出了数论的形式化系统TNT系统他的性质如下 数字：TNT中的数字是这样的零是0，一是S0，2是SS0，S的意思是它后面那个东西的后...