Some remarks on Hilbert's program (Q2736243)
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: Some remarks on Hilbert's program |
scientific article; zbMATH DE number 1638529
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some remarks on Hilbert's program |
scientific article; zbMATH DE number 1638529 |
Statements
29 August 2001
0 references
Hilbert's program
0 references
reverse mathematics
0 references
Some remarks on Hilbert's program (English)
0 references
Results of Gödel which were improved in some sense by Paris, Harrington and Kirby showed the nonexecutability of Hilbert's program announced in his lecture at the Congress of Mathematicians in 1900. The author describes Hilbert's generalized and relativized program and makes a conclusion that results obtained by Friedman and Sieg in so-called reverse mathematics open the way to the partial realization of Hilbert's original program.NEWLINENEWLINEFor the entire collection see [Zbl 0902.00028].
0 references
