No label defined (Q4385479)

From MaRDI portal
scientific article; zbMATH DE number 1141703
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1141703

    Statements

    0 references
    14 April 1998
    0 references
    proof theory
    0 references
    finitism
    0 references
    Hilbert's programme
    0 references
    Kreisel's programme
    0 references
    non-finitist proofs
    0 references
    interpretation
    0 references
    no counterexample interpretation
    0 references
    Littlewood's theorem
    0 references
    finiteness theorems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references