scientific article; zbMATH DE number 2078129

MaRDI QIDQ4472955zbMATH OpenFDO

Authors Carlos Torres Alcaraz

Publication date 7 July 2004

zbMATH Keywords

consistency proofsGödel's Incompleteness TheoremsHilbert's Programme

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) First-order arithmetic and fragments (03F30)

Recommendations

• Hilbert's Second Problem (the consistency of arithmetic)
• scientific article; zbMATH DE number 5788436
• The consistency of arithmetic
• Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics
• scientific article; zbMATH DE number 2222027

Cited in

(6)

• Hilbert's Second Problem (the consistency of arithmetic)
• scientific article; zbMATH DE number 5788436 (Why is no real title available?)
• The consistency of arithmetic
• scientific article; zbMATH DE number 2222027 (Why is no real title available?)
• Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics
• The consistency of arithmetic

This page was built for publication:

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