Hilbert's Second Problem (the consistency of arithmetic)

zbMATH Open0978.01030MaRDI QIDQ2736236FDOQ2736236

Authors: Wiktor Bartol 

Publication date: 29 August 2001

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

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)

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
• Title not available (Why is that?)
• The single-minded pursuit of consistency and its weakness
• Title not available (Why is that?)
• 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)