Skolem and pessimism about proof in mathematics (Q5434472)

From MaRDI portal
scientific article; zbMATH DE number 5223539
Language Label Description Also known as
English
Skolem and pessimism about proof in mathematics
scientific article; zbMATH DE number 5223539

    Statements

    Skolem and pessimism about proof in mathematics (English)
    0 references
    4 January 2008
    0 references
    proof
    0 references
    predicate
    0 references
    calculus
    0 references
    axiom system
    0 references
    model
    0 references
    Skolem paradox
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references