Hilbert's Second Problem (the consistency of arithmetic) (Q2736236)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Hilbert's Second Problem (the consistency of arithmetic) |
scientific article; zbMATH DE number 1638523
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert's Second Problem (the consistency of arithmetic) |
scientific article; zbMATH DE number 1638523 |
Statements
29 August 2001
0 references
0.88072276
0 references
0 references
0.87409407
0 references
0.86795783
0 references
0 references
Hilbert's Second Problem (the consistency of arithmetic) (English)
0 references
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].
0 references
