Hilbert's Second Problem (the consistency of arithmetic)

MaRDI QIDQ2736236zbMATH OpenFDO

Authors Wiktor Bartol

Publication date 29 August 2001

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)

Recommendations

• scientific article; zbMATH DE number 2078129
• Hilbert's First Problem (the continuum hypothesis)
• scientific article; zbMATH DE number 221318
• Hilbert's Twenty-Second Problem
• Hilbert's tenth problem for weak theories of arithmetic
• HILBERT'S PROBLEMS
• Second-order arithmetic and the consistency of first-order theories
• Hilbert's problems and their sequels
• Gentzen's consistency proofs for arithmetic
• scientific article; zbMATH DE number 5788436

Cited in

(9)

• Taking formalism seriously
• The consistency of arithmetic
• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• Definition of the concept of natural numbers and its existence theorem. Solution of Hilbert's second problem
• scientific article; zbMATH DE number 2078129 (Why is no real title available?)
• The single-minded pursuit of consistency and its weakness
• scientific article; zbMATH DE number 922629 (Why is no real title available?)
• Gödel's incompleteness theorems: a revolutionary view of the nature of mathematical pursuits
• The consistency of arithmetic

This page was built for publication: Hilbert's Second Problem (the consistency of arithmetic)

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