The second incompleteness theorem: reflections and ruminations

DOI10.1093/ACPROF:OSO/9780198759591.003.0003MaRDI QIDQ5221590zbMATH OpenOpenAlexFDO

Authors Albert Visser

Publication date 2 April 2020

Published in Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/acprof:oso/9780198759591.003.0003

zbMATH Keywords

incompletenessprovabilityGödel

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Recommendations

• What does Gödel's second theorem say?
• scientific article; zbMATH DE number 2222027
• Can we make the second incompleteness theorem coordinate free?
• On Godel's Second Incompleteness Theorem
• Gödel incompleteness theorems and the limits of their applicability. I

Cited in

(14)

• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• What does Gödel's second theorem say?
• A step towards absolute versions of metamathematical results
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• Transductions in arithmetic
• Friedman-reflexivity
• Current research on Gödel's incompleteness theorems
• The incompleteness theorems after 70 years
• Can we make the second incompleteness theorem coordinate free?
• Second thoughts around some of Gödel's writings: A non-academic option
• Revisiting Chaitin's incompleteness theorem
• A generalization of the second incompleteness theorem and some exceptions to it
• Rosser provability and the second incompleteness theorem
• About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction

This page was built for publication: The second incompleteness theorem: reflections and ruminations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221590)