scientific article; zbMATH DE number 2078129

zbMATH Open1045.03004MaRDI QIDQ4472955FDOQ4472955

Authors: Carlos Torres Alcaraz 

Publication date: 7 July 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

consistency proofsGödel's Incompleteness TheoremsHilbert's Programme

Mathematics Subject Classification ID

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

Cited In (6)

• Hilbert's Second Problem (the consistency of arithmetic)
• The consistency of arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)