How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685)
From MaRDI portal
scientific article; zbMATH DE number 1310799
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study |
scientific article; zbMATH DE number 1310799 |
Statements
How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (English)
0 references
9 September 1999
0 references
Gödel's system \(T\) of primitive recursive functionals of finite type
0 references
strong normalization
0 references
collapsing functions
0 references
subsystems of analysis
0 references
assignment of ordinals
0 references
0 references
0 references
