Church's thesis and the ideal of informal rigour (Q1103597)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Church's thesis and the ideal of informal rigour
scientific article

    Statements

    Church's thesis and the ideal of informal rigour (English)
    0 references
    1987
    0 references
    A substantial general discussion of methodological questions illustrated (although less extensive than in other papers by the author) by results in mathematical logic.
    0 references
    philosophy of mathematics
    0 references
    recursion theory
    0 references
    methodological questions
    0 references
    0 references
    0 references

    Identifiers