Gödel's third incompleteness theorem

DOI10.1111/1746-8361.12134zbMATH Open1360.03088OpenAlexW2294179852MaRDI QIDQ2834879FDOQ2834879

Authors: Timothy McCarthy 

Publication date: 24 November 2016

Published in: Dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/1746-8361.12134

Recommendations

• scientific article; zbMATH DE number 2222023
• On Godel's Second Incompleteness Theorem
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• What does Gödel's second theorem say?

zbMATH Keywords

Gödel's second incompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cited In (8)

• What does Gödel's second theorem say?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on derivability conditions
• Heterologicality and imcompleteness

This page was built for publication: Gödel's third incompleteness theorem

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