In the Shadow of Incompleteness: Hilbert and Gentzen (Q5253925)
From MaRDI portal
scientific article; zbMATH DE number 6443420
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | In the Shadow of Incompleteness: Hilbert and Gentzen |
scientific article; zbMATH DE number 6443420 |
Statements
In the Shadow of Incompleteness: Hilbert and Gentzen (English)
0 references
5 June 2015
0 references
Gödel's incompleteness theorems
0 references
Hilbert's foundational program
0 references
Gentzen
0 references
consistency
0 references
