哥德尔

可以播放的唱片对应公理系统的定理，不能播放的唱片，对应公理系统的非定理声音，对应数论的真诚数，可重现的声音对应系统中经过解释了的定理，不可重现的声音，对应非定理的真臣术取名冒号，对应哥德尔川的隐含意义冒号取名

塔斯基已经证明欧式几何系统虽然仅有五条公理，但是完备的和自洽的我们千万不要滥用哥德尔不完备性定理三霍金的感悟。但是哥德尔不完背信定理的确说了自然书这个领域来说，我们真的不能从有限的几条公理出发，推导出整个大厦

然而，这种装置的命运如何，读者仍会挂念，因为还没等把话讲完，精疲力竭的乌龟就决定还是回家睡觉为好，但他却是在抛出有关哥德尔定理的一个闪烁其次的介绍之后才去睡觉的

和论证逻辑形式化逻辑有一阶逻辑语言系统，一阶逻辑的原理论，非经典逻辑，哥德尔不完全性定理，即集合论证，明论，模型，论递归论等不同深度的课程到论性逻辑主要是科比逻辑导论一类教科书

直到一九六三年，美国斯坦福大学的数学家保罗科恩证明，我们同样不能用集合论公理系统证明电虚铜假设成立综合哥德尔和科恩的工作，连续统假设以一种最奇特的方式得到了解决

该定理表明，任何形式系统都不能完全刻画数学理论，总有某些问题，从形式系统的公理出发，不能解答。哥德尔不完全经定理破天荒的第一次分清了数学中真与可证是两个不同的概念

我们知道，不完全性定理的证明需要使用许多重复的，新颖的基础概念，其中有些人是他人刚提出来的新概念，由哥德尔本人创造的更多一些，如可表达性，哥德尔数，递归性，一致性等这些概念后来或者构成了逻辑，数学新篇章或者成了新的重要方法的基础

无论我们构造出多么复杂的机器，只要他是机器，就都对应于一个形式系统，接着就能找到一个在该系统内不可证的攻势而使之受到哥德尔过程的打机器不能保持着真理性的把这个公式产生出来

发达地区的图库曼省和圣地亚哥德尔埃斯特神，当时的纺织作坊兴旺发达，能生产三种不同等级的棚桥，还有一些作坊生产优质的木轮大车，雪茄，香烟，皮革和鞋底卡，卡马卡生产各种棉布，金纺，毛料和牧师用的黑布

确实，哥德尔真的是同时在很多电影导演中更加频繁地被谈论到的一位电影制作者，每个月总会有杂志发表，由某人专写的戈达尔朵堂而皇之的冠以戈达尔顿知名的书籍可能已经有两三本在书店里出现

爱因斯坦对哥德尔的发现表示了祝贺，但也同时提出进一步的探索，可能会表明那些使得广义相对论方针允许时间旅行回到过去的节会，与其他基本的物理要求相貌矛盾，总使其失去物理上的意义，变成纯粹的数学意外

他们偶尔也会翻转为正确率空间，而有些空间就像哥德尔的宇宙一样会旋转，其他则开始一边旋转，一边以扭曲的方式膨胀逃步，无法从爱因斯坦方程出发，得到所有这九种宇宙，但他可以找出其中的一些，比如最简单形式的卡斯纳语种，这九种宇宙中最复杂的几种时间都未曾有科学家解除

他们偶尔也会翻转为正确率空间，而有些空间就像哥德尔的宇宙一样会旋转，其他则开始一边旋转，一边以扭曲的方式膨胀逃步，无法从爱因斯坦方程出发，得到所有这九种宇宙，但他可以找出其中的一些，比如最简单形式的卡斯纳语种，这九种宇宙中最复杂的几种时间都未曾有科学家解除

他们偶尔也会翻转为正确率空间，而有些空间就像哥德尔的宇宙一样会旋转，其他则开始一边旋转，一边以扭曲的方式膨胀逃步，无法从爱因斯坦方程出发，得到所有这九种宇宙，但他可以找出其中的一些，比如最简单形式的卡斯纳语种，这九种宇宙中最复杂的几种时间都未曾有科学家解除

保守论者会认为，我们尽可以天马行空的构建我们的理论，在我们的理念世界，用人的理性去追求对称性和自洽性。但是写不说理论层面还有哥德尔布文被定理这种幽灵的存在，我们很有可能突破不了我们这个作为一个存在者的天然限度，我们很有可能带着一个永远无法被正视时的理论，停在一个我们永远无法理解的反常面前，进入后科学时代，换一种全新的范式进入一轮新的代偿