最近忙各种事，很久没有更新这段连载了，也很久没看GEB这书了，今天搞完了软件开发实践那破事，有点时间就记一些东西吧～

第四章 一致性、完全性与几何学

对于任何一个形式系统，真理超出该系统所规定的定理资格这件事，被称作该系统的“不完全性”。
PS：这里表示的是，根据哥德尔不完全定理，对于一个强的公理系统，必然存在有这个系统不能导出的真理。

形式系统的一致性：这是指形式系统中每个定理经过解释后都成为一个真称述（真理）。如果至少有一个经解释后的定理是假称述，那么就是出现了不一致性。

完全性：所有真称述（真理）而且可以表示成系统中的良构符号串的称述都是定理

第五章 递归结构和递归过程

堆栈：stack，你懂的。

递归：其实就是递归。

＊侯世达定理：做事所花费的时间总是比你预期的要长，即使你的预期中考虑了侯世达定律！（这就是个递归(-_-)）

暂时看到第六章还没看完，所以——（待续）

逻辑学的N个关键词（二）
逻辑学的N个关键词（一）