2020年是特殊的一年，新冠彻底改变了我们的生活，但是这也给我们带来了新的机遇。这一年真的是感慨万千，相信很多人包括我在内的人生轨迹在这一年发生...

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

本章是对前几章内容与DNA生成蛋白质之间的大型同构秀，DNA是代码，核糖体是编译器，蛋白质就是程序。 DNA在在自我迭代的过程中，将自己的分为两...

本章开始，作者向我们介绍了丘奇定理：没有任何切实可靠的方法总能区分开真的数论语句和假的数论语句。 根据以上定理我们可以得到：Floop程序和和我...

现有的形式系统总是不完备的，不管我们怎么努力。就像之前乌龟戏弄螃蟹的唱机一样，只要我们知道了形式系统的公理，以我们的智慧总能找到“破解”它的办法...

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

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

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

爱可可老师分享的Medium大神的程序员40条法则，这里我简单翻译一下 1.将大段的代码分解成一个个功能独立的函数。 2.碰到长时间解决不了的问...