On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program

DOI10.4288/JAFPOS.17.0_13zbMath1185.03005OpenAlexW180401523MaRDI QIDQ3398983

Ryota Akiyoshi

Publication date: 29 September 2009

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.17.0_13

zbMATH Keywords

metamathematicsconsistency proofsphilosophy of mathematicsGödel's incompleteness theoremsHilbert's program

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program