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
    0 references
    0 references
    9 September 1999
    0 references
    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