On a hitherto unexploited extension of the finitary standpoint (Q1139043)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a hitherto unexploited extension of the finitary standpoint
scientific article

    Statements

    On a hitherto unexploited extension of the finitary standpoint (English)
    0 references
    0 references
    0 references
    1980
    0 references
    0 references
    finitary standpoint
    0 references
    consistency of classical number theory
    0 references
    computable function of finite simple type
    0 references
    0 references