On the notion of \textit{Proving its own consistency}

MaRDI QIDQ5222081zbMATH OpenFDO

Authors Doukas Kapantaïs

Publication date 30 March 2020

zbMATH Keywords

finitist attitudeformal theoriesHilbert's programinformative contentsecond incompleteness theoremsyntax vs. semantics

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)

Recommendations

• The consistency of arithmetic
• scientific article; zbMATH DE number 2222023
• The consistency of arithmetic
• Another look at the second incompleteness theorem
• Peano's smart children: A provability logical study of systems with built-in consistency

Cited in

(6)

• Peano's smart children: A provability logical study of systems with built-in consistency
• If A, then B too, but only if C: a reply to Varzi
• scientific article; zbMATH DE number 4010472 (Why is no real title available?)
• The consistency of arithmetic
• Another look at the second incompleteness theorem
• scientific article; zbMATH DE number 2222023 (Why is no real title available?)

This page was built for publication: On the notion of \textit{Proving its own consistency}

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