References
C. Chevalley & A. Weil, «Hermann Weyl (1885-1955),»L’Enseignement Mathématique, III (1957); repr. in H. Weyl,Gesammelte Abhandlungen, IV, Springer-Verlag, Berlin, 1968, pp. 655–685.
J. Dieudonné, «Weyl Hermann,»Dictionary of Scientific Biography XIV (1967), C. C. Gillispie (ed.), Scribner’s, N.Y., pp. 281–285.
T. Tonietti, «A research proposal to study the formalist and intuitionist mathematicians of the Weimar Republic,»Historia Mathematica, 9 (1982), pp. 61–64.
H. Weyl, «Über die Definitionen der mathematischen Grundbegriffe,»Mathematisch-naturwissenschaftliche Blätter, 7 (1910), pp. 93–95 and 109–113; repr. inGesam. Abh., I, pp. 298–304.
H. Weyl,Das Kontinuum, Leipzig 1918; repr. W. de Gruyter Berin, 1932.
H. Weyl,Space Time Matter, Dover, N.Y., 1950. The first original edition isRaum Zeit Materie, Springer-Verlag, Berlin, 1918; in it there is no gauge theory. InSpace Time Matter, which was translated from the 4th edition, theEich-lnvarianz was called „calibration invariance.“ Previous papers which prepared gauge theory were: «Gravitation und Elektrizität» (1918), «Eine neue Erweiterung der Relativitätstheorie» (1919), and «Über die physikalischen Grundlagen der erweiterten Relativitätstheorie» (1921) repr; inGesam. Abh., II. Cf. T. Tonietti, «Weyl and Husserl» submitted toHistoria Mathematica.
H. Weyl, «Über die neue Grundlagenkrise der Mathematik,»Mathematische Zeitschrift, 10 (1921), pp. 39–79; repr. inGesam. Abh., II, pp. 143–179.
H. Weyl, «Zur David Huberts siebzigstem Geburtstag,»Die Naturwissenschaften, 20 (1932), pp. 57–58; repr. inGesam. Abh. Ill, pp. 346–347.
Author information
Authors and Affiliations
Additional information
We thank Mrs. Ellen Weyl and the E.T.H. Library of Zürich for permission to publish this paper.
Rights and permissions
About this article
Cite this article
Weyl, H. Axiomatic versus constructive procedures in mathematics. The Mathematical Intelligencer 7, 10–17 (1985). https://doi.org/10.1007/BF03024481
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03024481