Gödel, No System Can Close Itself
哥德尔，任何系统都无法自我封闭
The man who used mathematics to prove the limits of all systems.
用数学证明了所有系统之局限的那个人。
I. Vienna
1906. Kurt Gödel was born in Brno, in the Austro-Hungarian Empire.
From childhood he was a child who baffled adults. Around age four, the family called him Herr Warum — Mr. Why — because he asked why about everything, pressing until no one could answer him any further.
He never stopped.
He studied mathematics and logic at the University of Vienna. Vienna in the 1920s was one of the most intellectually dense environments in human history — the Vienna Circle, a group of logical positivists, met regularly with the ambition of laying a perfect foundation for the whole of human knowledge. Their conviction: every meaningful proposition can be logically verified or refuted. What is ambiguous is not knowledge. It is nonsense.
Gödel attended the discussions of the Vienna Circle but said nothing. He listened. He sat quietly in the corner while the most brilliant people in the room explained why logic could solve everything.
Then, at twenty-five, he proved that logic cannot solve everything.
II. Hilbert’s Dream
To understand what Gödel did, we first need to understand what he chiseled.
David Hilbert. The most influential mathematician in the world at the time. In 1900 he presented twenty-three problems and set the direction of twentieth-century mathematics. But his greatest ambition was not to solve any particular problem. It was to solve all problems — or at least to prove that all problems were in principle solvable.
Hilbert’s Program aimed to give mathematics a perfect foundation. Using finite, mechanical steps, he wanted to prove that a sufficiently powerful mathematical system is free of contradictions (consistent) and that every true proposition can be proved (complete).
If Hilbert had succeeded, mathematics would have been closed. Every mathematical truth derivable from a set of axioms in finitely many steps. No remainder. No blind spots. Nothing that cannot in principle be known.
This was the most ambitious dream humanity had ever built — a complete, self-consistent, gapless formal system. From axiom to theorem, from theorem to proof — everything transparent, everything under control.
Kant had said the thing-in-itself is unknowable — but that was in philosophy. Mathematics should have no thing-in-itself. Mathematics is the pure realm of form. Here nothing should escape your grasp.
Hilbert believed this. The entire mathematical community believed it.
Gödel dismantled the dream with two theorems.
III. The First Incompleteness Theorem
1931. Gödel published his paper “On Formally Undecidable Propositions of Principia Mathematica and Related Systems.” He was twenty-five years old.
The First Incompleteness Theorem states:
Any sufficiently powerful and consistent formal system necessarily contains propositions that can be neither proved nor disproved within the system.
In plain terms: if your mathematical system is sufficiently complex (at least able to express the arithmetic of natural numbers) and free of internal contradictions, then within it there are necessarily propositions that are true but can never be proved to be true.
Not “we haven’t found the proof yet but might someday.” Impossible in principle. A structural problem.
How did he prove it? He constructed a statement that says: “This statement cannot be proved in this system.”
If this statement can be proved — the claim “I cannot be proved” becomes false — but it has just been proved — so the system contradicts itself. It is not consistent.
If this statement cannot be proved — the claim is true — but there is a true proposition that cannot be proved in the system. It is not complete.
Choose one. Either not consistent or not complete. You cannot have both.
Hilbert wanted a system that is both consistent and complete. Gödel proved: that is impossible.
IV. The Second Incompleteness Theorem
The Second Theorem is even more devastating.
Any sufficiently powerful and consistent formal system cannot prove its own consistency from within.
In plain terms: you cannot stand on your own shoulders and lift yourself up.
Hilbert wanted not only “mathematics is complete” but also “mathematics can prove from within itself that it does not contradict itself.” Gödel said: no. Even if mathematics truly does not contradict itself, it cannot prove this using its own tools. To prove it would require a stronger system — but that stronger system also cannot prove its own consistency without an even stronger system. An infinite regress.
No system can fully know itself.
Socrates said “I know that I know nothing” — an honest report of the limits of human cognition.
Gödel proved: this is not humility. It is a mathematical theorem. Any sufficiently complex system does not know “everything about itself” — not because it is insufficiently intelligent, but because “knowing everything about oneself” is logically impossible.
Zhuangzi said “bore seven holes in primordial chaos and chaos dies” — chisel a system to completeness and it collapses into contradiction.
Gödel said the same thing in mathematics: consistency and completeness cannot coexist. If you want to be free of contradiction (consistent), you must accept that some truths will escape you (incompleteness). If you want to capture every truth (completeness), the system explodes (contradiction).
Chaos does not truly die. The remainder cannot be eliminated. No system can close itself.
V. The Walk
1940. Gödel fled Nazi-occupied Europe and arrived at the Institute for Advanced Study in Princeton.
There he met Einstein.
They became the closest of friends. Every afternoon they walked together along Princeton’s tree-lined paths. One had proved that mathematics cannot close itself. The other had discovered the most elegant construction in physics — general relativity.
In 1905, Einstein’s special relativity had chiseled away Newton’s absolute spacetime. In 1915, general relativity had chiseled away the premise that gravity is a “force” — gravity is not a force, it is the curvature of spacetime. Einstein was among the greatest chiselers of the twentieth century.
But there was one thing Einstein could not let go: certainty.
Quantum mechanics says: the world is random at its most fundamental level. The position and momentum of a particle are not “something we don’t yet know” — they do not have definite values. Before measurement, there is no answer.
Einstein could not accept this. “God does not play dice.” He spent his final decades trying to prove that quantum mechanics was incomplete — there must be “hidden variables” backstage that we have not yet found. He believed the universe’s deepest level is deterministic, knowable, complete.
Gödel had just proved: completeness and consistency cannot coexist.
Two men walking together every day. One knew that no system can close itself. One refused to accept this until he died.
This is perhaps one of the most tender scenes in the history of human intellect — two of the most brilliant minds alive, walking the same road, facing the same question, arriving at opposite answers. They did not argue about it. They simply walked.
Einstein said later: in his last years, the only reason he came to the institute was to walk home with Gödel.
VI. Starvation
In his final years, Gödel developed severe paranoia.
He believed someone was trying to poison him. He refused to eat anything not prepared by the hands of his wife Adele. She was the only one he trusted.
In 1977, Adele was hospitalized.
There was no one left to cook for Gödel. He could not trust anyone else. He stopped eating.
On January 14, 1978, Gödel died. Cause of death: malnutrition and exhaustion. He weighed twenty-nine kilograms.
The man who proved that mathematics cannot close itself could not close himself.
His paranoia was an extreme form of distrust — distrust of everyone in the world except Adele. His system had only one trustworthy source of input. When that source was cut off, the system collapsed.
This is the incompleteness theorem of the body. A system cannot sustain itself on its internal resources alone. It needs external input. But if you mark all external input as “untrusted” — if you refuse every source outside yourself — you starve.
Socrates trusted the laws of Athens, so he drank the hemlock.
Jesus trusted the Father’s will, so he walked to the cross.
Gödel trusted no one, so he starved to death.
Trust and distrust. Construction and remainder. Closure and the impossibility of closure. These are not merely mathematical theorems. They are ways of living.
VII. The Conservation of Remainder
Now we can locate Gödel within this series.
Socrates chiseled all the way to bare ground — chiseled away everyone’s false knowledge.
Confucius chiseled toward benevolence — chiseled each person down to their own foundation.
Laozi spoke the unspeakable and vanished.
Zhuangzi was pushed back — discovering that chiseling has a cost.
Kant chiseled and built — drew the boundary: the thing-in-itself is unknowable.
Nietzsche chiseled all the way down — God is dead.
Wang Yangming reversed the direction — chiseled inward, toward innate moral knowledge.
The Buddha dismantled construction by means of construction — cross the bridge, then demolish it.
Jesus was nailed to the bridge — forgive them.
Gödel did what none of the others did — he proved all of this mathematically.
Socrates’ “I know nothing” becomes, in Gödel’s terms: “a system cannot fully know itself.” Not humility. A theorem.
Zhuangzi’s “bore seven holes in primordial chaos and chaos dies” becomes: “consistency and completeness cannot coexist.” Chisel to completeness and the system collapses.
Kant’s “the thing-in-itself is unknowable” becomes: “a system cannot prove its own consistency from within.” You can never fully understand the ground you are standing on.
Laozi’s “the Tao that can be spoken is not the eternal Tao” becomes: “true propositions and provable propositions are not identical.” There are truths that cannot be spoken.
The Buddha’s “all conditioned things are impermanent” becomes: “every formal system has inherent limits.” There is no perfect construction.
Each of them, in their own way, touched the same wall. Gödel touched it with mathematics and wrote the impact report as a theorem.
This is the mathematical foundation of the conservation of remainder. You cannot build a system without a remainder. The remainder is structural, not temporary. It is not “we haven’t found the answer yet.” It is “the answer cannot in principle exist.”
No system can close itself.
This is not bad news. It is the best news.
Because if a system could close itself, this series would not need to be written. If someone could build a perfect system — no remainder, no blind spots, everything explained — everyone else would become a footnote to that system. Confucius becomes a footnote. Socrates becomes a footnote. Jesus becomes a footnote. Zhuangzi becomes a footnote.
The impossibility of closure means that every person’s chiseling is real. Every gap is real. No one is a footnote. Each person touched a different face of the same wall.
More people need to gather at the foot of the bridge — not because we want a crowd, but because no system can close itself, and therefore one person is never enough. Every person is an end, not a means.
Gödel proved this mathematically. And then starved to death.
His proof is still alive.[1][2]
Notes
[1] On Gödel’s incompleteness theorems and their relation to “conservation of remainder” and “no system can close itself” in Self-as-an-End theory — the core argument of the chisel-build cycle appears in the methodological introduction (DOI: 10.5281/zenodo.18842450). The First Incompleteness Theorem corresponds to “remainder cannot be eliminated” — any sufficiently complex consistent system contains true propositions it cannot prove (remainder). The Second Incompleteness Theorem corresponds to “a system cannot prove itself” — a system cannot prove its own consistency from within, and therefore requires external input. This is the formalization of Kant’s “the thing-in-itself is unknowable.”
[2] Gödel’s First and Second Incompleteness Theorems were published in his 1931 paper “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I” (Monatshefte für Mathematik und Physik). Hilbert’s Program draws on David Hilbert’s 1900 address at the International Congress of Mathematicians in Paris and his subsequent formalization efforts. Gödel and Einstein’s friendship is documented in Palle Yourgrau, A World Without Time: The Forgotten Legacy of Gödel and Einstein (2005). Gödel’s final years rely on John Dawson, Logical Dilemmas: The Life and Work of Kurt Gödel (1997). The seven foundational papers and first roadmap are available at hqin.substack.com.
一、维也纳
1906年。库尔特·哥德尔出生于奥匈帝国的布尔诺。
从小他就是一个让大人困惑的孩子。大约四岁时，家人叫他"赫尔·瓦鲁姆"——为什么先生——因为他对什么都要问为什么，一直问到没有人能再回答他为止。
他从未停止这样做。
他在维也纳大学学习数学与逻辑。1920年代的维也纳是人类历史上知识密度最高的地方之一——维也纳学圈，一群逻辑实证主义者定期聚会，试图为人类全部知识奠定完美的基础。他们的信念——所有有意义的命题都可以被逻辑地验证或证伪。模糊的东西不是知识。那是废话。
哥德尔参加维也纳学圈的讨论，但什么都不说。他倾听。他安静地坐在房间的角落，听着房间里最聪明的人们解释为什么逻辑能够解决一切。
然后在二十五岁时，他证明了逻辑无法解决一切。
二、希尔伯特的梦想
要理解哥德尔做了什么，首先需要理解他凿穿了什么。
大卫·希尔伯特。当时世界上最有影响力的数学家。1900年他提出了二十三个问题，确定了二十世纪数学的方向。但他最大的雄心不是解决某个具体问题。而是解决所有问题——至少是证明所有问题在原则上都是可解的。
希尔伯特纲领旨在给数学奠定完美的基础。他想用有限的机械步骤证明，足够强大的数学系统是无矛盾的（相容性），并且每一个真命题都是可证明的（完备性）。
如果希尔伯特成功了，数学就会是封闭的。每一个数学真理都可以从一组公理出发，在有限步骤内推导出来。没有余地。没有盲点。没有原则上不可知的东西。
这是人类曾经构建过的最宏大的梦想——一个完备的、自洽的、没有缝隙的形式系统。从公理到定理，从定理到证明——一切透明，一切在掌控之中。
康德说物自体是不可认识的——但那是在哲学中。数学不应该有物自体。数学是纯粹形式的王国。在这里，没有什么应该逃出你的掌握。
希尔伯特这样相信。整个数学界都这样相信。
哥德尔用两个定理瓦解了这个梦想。
三、第一不完备定理
1931年。哥德尔发表了论文《〈数学原理〉及相关系统的形式上不可判定命题》。那年他二十五岁。
第一不完备定理这样说：
任何足够强大且相容的形式系统，必定包含既无法在该系统内证明也无法证伪的命题。
用通俗的话说——如果你的数学系统足够复杂（至少能够表达自然数的算术），且不自相矛盾，那么其中必定存在一些命题，它们是真的，但永远无法被证明是真的。
不是"我们还没找到证明，但也许有一天能找到"。是原则上不可能。是结构性问题。
他是怎么证明的？他构造了一个语句，这个语句说："这个语句在这个系统中不可证明。"
如果这个语句可以被证明——"我不可证明"这个主张就是假的——但它刚刚被证明了——所以系统自相矛盾了。它不相容。
如果这个语句不可证明——这个主张是真的——但有一个真命题在系统中不可证明。它不完备。
二选一。要么不相容，要么不完备。不能两者兼得。
希尔伯特想要既相容又完备的系统。哥德尔证明了：那是不可能的。
四、第二不完备定理
第二定理更具毁灭性。
任何足够强大且相容的形式系统，都无法从系统内部证明自身的相容性。
用通俗的话说——你无法站在自己的肩膀上把自己举起来。
希尔伯特不仅想要"数学是完备的"，还想要"数学能够从自身内部证明它不自相矛盾"。哥德尔说：不。即使数学真的不自相矛盾，它也无法用自己的工具来证明这一点。要证明它，需要一个更强的系统——但那个更强的系统也无法在没有更强系统的情况下证明自身的相容性。无穷后退。
任何系统都无法完全了解自己。
苏格拉底说"我知道我什么都不知道"——这是对人类认知局限的诚实报告。
哥德尔证明了：这不是谦逊。这是数学定理。任何足够复杂的系统都不"知道关于自身的一切"——不是因为它不够聪明，而是因为"知道关于自身的一切"在逻辑上是不可能的。
庄子说"给混沌凿七个洞，混沌就死了"——把系统凿穿到完备，它就崩溃成矛盾。
哥德尔用数学说了完全一样的话——相容性与完备性不能共存。如果你想没有矛盾（相容），就必须接受某些真理会逃脱你（不完备）。如果你想捕获所有真理（完备），系统就会爆炸（矛盾）。
混沌并没有真正死去。余地无法被消除。任何系统都无法自我封闭。
五、散步
1940年。哥德尔逃离纳粹占领的欧洲，抵达普林斯顿高等研究院。
在那里他遇见了爱因斯坦。
两人成了最亲密的朋友。每天下午他们一起沿着普林斯顿的林荫道散步。一个人证明了数学无法自我封闭。另一个人发现了物理学中最优雅的建构——广义相对论。
1905年，爱因斯坦的狭义相对论凿穿了牛顿的绝对时空。1915年，广义相对论凿穿了引力是"力"的前提——引力不是力，而是时空的曲率。他是二十世纪最伟大的凿穿者之一。
但爱因斯坦有一样东西放不下——确定性。
量子力学说：世界在最根本的层次上是随机的。粒子的位置和动量不是"我们还不知道的东西"——它们没有确定的值。测量之前，没有答案。
爱因斯坦无法接受这一点。"上帝不掷骰子。"他把晚年都花在试图证明量子力学不完整上——其背后一定有我们尚未找到的"隐变量"。他相信宇宙的最深处是决定论性的、可认识的、完备的。
而哥德尔刚刚证明了：完备性与相容性不能共存。
每天一起散步的两个人。一个知道任何系统都无法自我封闭。一个直到死去都拒绝接受这一点。
这也许是人类智识史上最温柔的场景之一——两个活着的最聪明的头脑，走着同一条路，面对同一个问题，得出了截然相反的答案。他们没有为此争吵。他们只是散步。
爱因斯坦后来说——在晚年，他来研究院的唯一理由就是和哥德尔一起走回家。
六、饿死
晚年，哥德尔患上了严重的偏执症。
他相信有人要毒死他。他拒绝吃任何不是妻子阿黛尔亲手烹制的食物。他唯一信任的人是阿黛尔。
1977年，阿黛尔住院了。
没有人可以为哥德尔做饭了。他无法信任任何其他人。他停止进食。
1978年1月14日，哥德尔去世。死因——营养不良与衰竭。体重二十九公斤。
那个证明了数学无法自我封闭的人，无法封闭自己。
他的偏执症是不信任的极端形式——对阿黛尔以外所有人的不信任。他的系统只有一个可信赖的输入来源。当那个来源被切断时，系统崩溃了。
这是身体的不完备定理。系统无法仅靠自身内部的资源维持自己。它需要外部输入。但如果你把所有外部输入都标记为"不可信任"——如果你拒绝自身以外的所有来源——你就会饿死。
苏格拉底信任雅典的法律，所以他喝了毒酒。
耶稣信任父的旨意，所以他走向了十字架。
哥德尔不信任任何人，所以他饿死了。
信任与不信任。建构与余地。封闭与封闭的不可能性。这些不只是数学定理。这些是生活方式。
七、余地的守恒
现在我们可以把哥德尔定位在这个系列中了。
苏格拉底凿穿到了空地——凿穿了所有人的虚假知识。
孔子向仁凿穿——凿穿到每个人自己的根基。
老子说了不可说之物然后消失了。
庄子被推回去了——发现凿穿是有代价的。
康德凿穿后建构——划了界限：物自体是不可认识的。
尼采凿穿到了最底部——上帝死了。
王阳明把方向反转了——向内凿穿，直到良知。
佛陀用建构瓦解建构——过了桥就拆桥。
耶稣被钉在桥上——宽恕他们。
哥德尔做了其他人都没做过的事——他把这一切数学地证明了。
苏格拉底的"我什么都不知道"——在哥德尔的语言中变成了"系统无法完全了解自身"。不是谦逊。是定理。
庄子的"给混沌凿七个洞，混沌就死了"——在哥德尔的语言中变成了"相容性与完备性不能共存"。把系统凿到完备，系统就崩溃。
康德的"物自体是不可认识的"——在哥德尔的语言中变成了"系统无法从内部证明自身的相容性"。你永远无法完全理解你所站立的地基。
老子的"道可道，非常道"——在哥德尔的语言中变成了"真命题与可证命题不是同一回事"。有些真理是无法言说的。
佛陀的"诸行无常"——在哥德尔的语言中变成了"所有形式系统都有其固有的局限"。不存在完美的建构。
每个人都以自己的方式触碰了同一堵墙。哥德尔用数学触碰了它，把冲击的报告写成了定理。
这就是余地守恒的数学基础。你无法建构一个没有余地的系统。余地是结构性的，不是暂时的。不是"我们还没找到答案"。而是"答案在原则上不存在"。
任何系统都无法自我封闭。
这不是坏消息。这是最好的消息。
因为如果系统可以自我封闭，这个系列就不需要被写作了。如果有人能够建构一个完美的系统——没有余地，没有盲点，一切都解释清楚——其他所有人就会成为那个系统的脚注。孔子成了脚注。苏格拉底成了脚注。耶稣成了脚注。庄子成了脚注。
封闭的不可能性意味着——每个人的凿穿都是真实的。每个人的空缺都是真实的。没有人是脚注。每个人触碰了同一堵墙的不同面。
桥边应该聚集更多的人——不是因为我们想要人群，而是因为任何系统都无法自我封闭，所以一个人永远是不够的。每个人都是目的，不是手段。
哥德尔数学地证明了这一点。然后饿死了。
注
[注1] 关于哥德尔不完备定理与Self-as-an-End理论中"余地守恒"及"任何系统都无法自我封闭"的关系——凿构循环的核心论述见于方法论概论（DOI: 10.5281/zenodo.18842450）。第一不完备定理对应"余地无法被消除"——任何足够复杂的相容系统都包含无法证明的真命题（余地）。第二不完备定理对应"系统无法证明自身"——系统无法从内部证明自身的相容性，因此需要外部输入。这是康德"物自体不可认识"的形式化。
[注2] 哥德尔第一、第二不完备定理发表于1931年论文《〈数学原理〉及相关系统的形式上不可判定命题Ⅰ》（Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I）。希尔伯特纲领依据大卫·希尔伯特1900年巴黎国际数学家大会演讲及其后续形式化工作。哥德尔与爱因斯坦的友谊参见帕勒·尤尔格劳《没有时间的世界——哥德尔与爱因斯坦被遗忘的遗产》（2005年）。哥德尔晚年依据约翰·道森《逻辑的困境——库尔特·哥德尔的生平与工作》（1997年）。七篇基础论文及第一期路线图可在hqin.substack.com获取。