Axiomatic versus constructive procedures in mathematics
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.
- Incomputability in physics and biology
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
- Part I. Topology and Abstract Algebra as Two Roads of Mathematical Comprehension
- Operation and predicativity: Lorenzen's approach to arithmetic
- The finite and the infinite
- Mathematical modernism, goal or problem? The opposing views of Felix Hausdorff and Hermann Weyl
- Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism
- The role of axioms in mathematics
This page was built for publication: Axiomatic versus constructive procedures in mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1061103)
