Axiomatic versus constructive procedures in mathematics (Q1061103)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatic versus constructive procedures in mathematics
scientific article

    Statements

    Axiomatic versus constructive procedures in mathematics (English)
    0 references
    0 references
    1985
    0 references
    This is the first publication of a text from H. Weyl's assets, being written after 1953. (The author died in 1955.) Its aim is to show that ''large parts of modern mathematical research are based on a dexterous blending of constructive and axiomatic procedures''. Before the author gives a brief account of the axiomatic and of the genetic-constructive method. He describes the role of axiomatics and generalizing in the process of mathematics: their aim is simplicity and unification. The different attitudes of F. Klein and D. Hilbert towards axiomatics are illustrated. In the final part the author gives three examples for constructive procedures in algebra: the multiples of an element of a field, leading to the concept of the characteristic; the adjunction of an indeterminate; and the construction of the ring of residue classes modulo an ideal. - The article is introduced by a commentary of the editor.
    0 references
    simplicity
    0 references
    unification
    0 references
    F. Klein
    0 references
    D. Hilbert
    0 references
    algebra
    0 references
    characteristic
    0 references
    adjunction of an indeterminate
    0 references
    ring of residue classes
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references