Hilbert's Second Problem (the consistency of arithmetic)
From MaRDI portal
The author discusses in detail the consistency of axioms of arithmetic. He presents results of Wilhelm Ackermann, John von Neumann, Kurt Gödel and Gerhard Gentzen. The role of Gödel's theorem in mathematics and philosophy is presented.NEWLINENEWLINEFor the entire collection see [Zbl 0902.00028].
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
(12)- Taking formalism seriously
- Fermat's Last Theorem and Hilbert's program
- Definition of the concept of natural numbers and its existence theorem. Solution of Hilbert's second problem
- scientific article; zbMATH DE number 1101523 (Why is no real title available?)
- scientific article; zbMATH DE number 2078129 (Why is no real title available?)
- Gödel's incompleteness theorems: a revolutionary view of the nature of mathematical pursuits
- Four Significant Axiomatic Systems and Some of the Issues Associated with Them
- scientific article; zbMATH DE number 922629 (Why is no real title available?)
- The consistency of arithmetic
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- The single-minded pursuit of consistency and its weakness
- 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)
