Reverse mathematics and its meaning (Q1312709)

From MaRDI portal





scientific article; zbMATH DE number 495255
Language Label Description Also known as
English
Reverse mathematics and its meaning
scientific article; zbMATH DE number 495255

    Statements

    Reverse mathematics and its meaning (English)
    0 references
    23 May 1994
    0 references
    The paper is devoted to the presentation of the so-called reverse mathematics. The background and basic ideas of this research programme of H. Friedman and S. G. Simpson are discussed and main results are presented. The philosophical and methodological meanings of the results (especially with respect to Hilbert's programme) are considered.
    0 references
    reverse mathematics
    0 references
    0 references

    Identifiers