C15 跳出系统
本次共读录屏：
领读人：Echo
时间：2022年5月15日
链接: https://pan.baidu.com/s/1Rv_eoStvJ_qSkZqiuwBqTQ?pwd=1zkb
提取码: 1zkb
前奏:-生日大合唱哇哇哇呜啊呜啊呜啊
主旨内容：逻辑鬼才——乌龟 VS 天真小白——阿基 = 天真小白的完败
巴赫风格生日快乐歌 · Mike Hughes - Paul Barton
第十五章-跳出系统：
似乎懂了又似乎没懂的板块：关于TNT+G， TNT+G+G'，TNT+G+G'+G''..... 证明对与形式系统
图：TNT的多重分叉现象
生日大合唱里阿基是如何被绕晕的：
为了弥补漏洞，系统越来越庞大——引出系统本质的不完全性。
关于不完全性的讨论：
- 任何一个系统，不管多复杂，多不好把握，都能进行哥德尔配数，因而就能定义证明对的概念——以子之矛，攻子之盾。只要一个系统是良定义的，即”理顺了“， 它就变得脆弱了。
- 正是”明晰地排列“这一举动——实数们“梳理详毕”——导致了垮台。
- 对于形式系统来说，正是给出一个明确的处方这一举动——原以为它刻画了数论真理——导致了不完全性。
明晰地排列让实数跨台 与 形式系统的不完全性 这里是类比，还是逻辑推理关系？
我们该如何理解“不完全性”？
因为这种不完全性，人的大脑才有一种“不可知性”，而这种不可知性是只能无法模拟和预测的；正是这种相比于确定的“不完全性”构成了智能之所以为“智能” 的关键。
到底什么是不完全性？ ——无穷性与不可证性
不可证性如： 无论“今天到底是不是阿基的生日”，还是“如何证明你妈是你妈”，有一定的不可证性。
卢卡斯的非难
卢卡斯的立场： 没有一部计算机能做到人所能所的那种“哥德尔化过程”。
- 刻板的内部编码完全控制了计算机和机器人；
- 计算机同构于形式系统，那么任何一台想要和我们一样聪明的计算机就必须能对数论做我们能做的事情；
- 除其他事情之外，它必须能完成原始递归算术；
- 系统很容易上哥德尔的钓钩（指系统就那么无限地循环下去了）；
- 由于我们的人类智能，我们能编造出一个数论语句，它是真的，但计算机对该语句真实性却视而不见，
- 由于上述，有那么一件事情是必定不能给计算机编上程序来做的，而我们却可以做。
综上，人类更聪明一些。
反驳卢卡斯的方法本章用一个，17章会再用一个，这个方法是？ ——跳出系统？
因为它提出了试图创造一个能够走出自身、完全从外部观察自己、并对自己使用哥德尔手段的计算机程序的想法。
比如从二维强行跳到三维的类比；
不存在给序数命名的递归规则：不存在能给每个构造性序数命名的递归相关的标号系统。
没有一个算法型的方法能说清如何对所有种类的形式系统使用哥德尔方法。
如果一个系统能够“超越哥德尔化能力的极限”，那么智能也就能产生了，“会和人一样强有力”。
对话类比——以卢卡斯为代表的男人和女人 VS 人类和计算机
卢卡斯与女人的对话，从性别偏见中类比人与计算机的认知模式。卢卡斯说，女人“妇见”了他，但并未真正看见他。 那我们又何尝不是“人见”了计算机，但并未真的了解计算机（的潜力）。
补充：男性从自己的视角制定了规则，规定了“妇见”； 人与计算机同样，我们对于计算机的“临界点”的定义，是从人的规则系统出发设定的规则。
感知自身与超越自身
人是有超越自身的愿望的，但这种超越又是很少见的；有时候我们也会有跳出系统的假象。
难度？ 计算机跳出自身的难度 VS 人类摆脱物理定律的可能性
禅宗与“走出”： 不断探索自我意识的拓展。
通过逐步加深一个人的自我意识，逐渐扩展“该系统”的范围，他最终将会感到与整个宇宙相一致。
补充分享：
入定的三个层次：
感觉到自己的感觉、对自己的感觉产生觉知、觉观（体认心智原本的状态）