THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME

DOI10.1017/BSL.2022.14OpenAlexW3131699447MaRDI QIDQ5044312

Saul A. Kripke

Publication date: 25 October 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.08346

zbMATH Keywords

\(\Pi^0_2\)1-consistentHilbert \textit{Ansatz}

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• Zur Widerspruchsfreiheit der Zahlentheorie
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• Hilbert's Programs: 1917–1922
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• On axiomatizability within a system
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME