The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme
Saul A. Kripke

TL;DR
This paper demonstrates a fundamental contradiction in the Hilbert program's approach to proof and consistency, revealing inherent limitations similar to Gödel's incompleteness theorems.
Contribution
It shows that the Hilbert program's method for proving consistency leads to a self-referential contradiction, challenging its foundational assumptions.
Findings
Hilbert's approach implies 1-consistency in number-theoretic systems.
Self-referential statements about all $orall_{2}^{0}$ statements lead to contradictions.
The contradiction arises naturally from the Hilbert program's core assumptions.
Abstract
The Hilbert program was actually a specific approach for proving consistency. Quantifiers were supposed to be replaced by -terms. was supposed to denote a witness to , arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system , each -term can be replaced by a numeral, making each line provable and true. This implies that must not only be consistent, but also 1-consistent (-correct). Here we show that if the result is supposed to be provable within , a statement about all statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles G\"odel's but arises naturally out of the Hilbert program itself.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · History and Theory of Mathematics · Logic, programming, and type systems
