2020年是特殊的一年，新冠彻底改变了我们的生活，但是这也给我们带来了新的机遇。这一年真的是感慨万千，相信很多人包括我在内的人生轨迹在这一年发生了变化，以下就是我在今年看过的...
发简信
IP属地：山东
-
2020年个人总结
-
集异壁第二十章——哥德尔，艾舍尔，巴赫
来到了本书的最后一章，在本书中，作者试图通过三个人的丰功伟绩告诉我们，有跳出当前的层次才能更好的完成我们手头的工作，以“元”视角看待事物，我们才能了解事物的本质，没有什么事情...
-
集异壁第十六章——自我迭代
本章是对前几章内容与DNA生成蛋白质之间的大型同构秀，DNA是代码，核糖体是编译器，蛋白质就是程序。 DNA在在自我迭代的过程中，将自己的分为两个串（DNA是双螺旋结构），然...
-
集异壁第十七章——真与美
本章开始，作者向我们介绍了丘奇定理：没有任何切实可靠的方法总能区分开真的数论语句和假的数论语句。 根据以上定理我们可以得到：Floop程序和和我们的大脑的符号层是一种同构，但...
-
-
集异壁第十五章——做个行动派
现有的形式系统总是不完备的，不管我们怎么努力。就像之前乌龟戏弄螃蟹的唱机一样，只要我们知道了形式系统的公理，以我们的智慧总能找到“破解”它的办法。 不完全性，可以确切的说——...
-
读书的三个层次
第一层：学知识，死记硬背。 容易成为走形式，停留在知识的表面，不能成为智慧。 第二层：理解。 不再停留在知识表面，而是学会去理解文字背后的含义，学会独立思考。 第三层：通过读...
-
集异壁第十四章——系统扩充
本章涉及的内容为哥德尔第二定理，以及对此定理的思考。 哥德尔那片旷世名作，主要涉及两个思想：1.系统内的符号串可以解释成另一些符号串，即系统的自省。2.以上性质可以全部集中于...
-
集异壁第十三章——再谈递归
在前面的章节中，我们知道递归就是一种有退出机制的嵌套。在本章中我们将接触计算机程序设计语言继续深入探讨递归。 Bloop Bloop是一种这样的编程语言，他的循环是有上界的，...
-
集异壁第十二章——符号派人工智能
上一章中，我们了解了人类大脑和蚁群的同构关系，符号作为高层次描述层次出现了，本章中作者深入讨论了符号之间的作用关系，并提出了更高层次的描述——子系统。 首先，我和其他人的大脑...
-
程序员40条小建议
爱可可老师分享的Medium大神的程序员40条法则，这里我简单翻译一下 1.将大段的代码分解成一个个功能独立的函数。 2.碰到长时间解决不了的问题，关掉电脑明天再去解决并且暂...
-
集异壁第十一章——大脑和蚁群
在本章之前的蚂蚁斌格中，作者通过食大夫和马姨的例子向我们展示了，一群的工作方式，作者认为这种方式和我们大脑的工作方式是一种映射关系。神经原就是单个的蚂蚁，它们唯一的工作就是发...
-
集异壁第十章——描述的层次
本章有将近3/4的内容为本人专业知识，所以读起来时“倍流畅”的。但是作者只是想通过计算机系统告诉我们看待系统的角度和层次不同，对系统的理解是非常不一样的。 比如说，象棋大师和...
-
集异壁第九章——禅宗与数论
本章作为整本书上半部分的总结意图告诉我们一个道理，以便于我们更好的理解哥德尔不完备定理，即通过哥德尔配数和哥德尔同构，所有的形式系统都可以转化为数论，但是不存在能够包含所有定...
-
集异壁第八章——数论的形式化（下）
在本文的上半部分，我们了解了TNT系统如何形式化数论的，下面让我们来深入的了解一下TNT系统。 TNT系统拥有5条公理：1，对于所有a：～Sa=0，2，对于所有a：（a+0）...
-
集异壁第八章——数论的形式化（上）
本章中，作者提出了数论的形式化系统TNT系统他的性质如下 数字：TNT中的数字是这样的零是0，一是S0，2是SS0，S的意思是它后面那个东西的后继 变元：即可变的数，可以用所...
-
集异壁第七章——命题演算和矛盾本章中作者想我们展示了一个更复杂的形式系统—命题演算它的规则如下： 这个系统给了我们创造语句的规则，那么如何来判定这些语句是定理或者非定理？真值表是一个很好的办法。 之后作者...
-
集异壁第四章——初窥哥德尔不完备定理
哥德尔不完备定理认为没有任何一个足够强有力的形式系统在下述意义下是完备的：能够把每一个真陈述都作为定理而重现在该系统中。 让我们回到pq系统，公理：若x是一个短杠串，则xqx...
-
集异壁第三章——真正完整的系统与素数不同的是合数，在tq系统中，t代表乘。XqYtZ的意思是X=Y*Z，X就是合数。 现在我们有一个定理，假设XqY-tZ-是一个定理，那么CX也是一个定理。现在我们有PX...
