Skip to main content
SpringerLink
Log in

Herman Weyl on the Concept of Continuum

  • Chapter
Proof Theory

Part of the book series: Synthese Library ((SYLI,volume 292))

Abstract

It is well known that H. Weyl’s conceptions in the foundations of mathematics underwent several changes. Beisswanger [Beisswanger 1965] talks of three phases which can roughly be described as an (early) constructivist one from about 1910 to about 1919, with its high point in the publication of “Das Kontinuum”, an intuitionistic phase from about 1920 until the middle of the 1920s, and a third phase from the middle of the 1920s onward, with a rapprochement to Hilbert’s axiomatic program in a critical but open-minded mode. S. Feferman, in [Feferman 1988] and the contribution to this volume, even hints at another change later in Weyl’s life, i.e., after 1945, when the latter reconsidered his own early attempts for a constructive foundation of analysis and evaluated them as an essential step towards a preferable constructive solution to the foundational problem. In this last change Weyl drew the conclusions from the new situation which had arisen for the formalist foundational program from the impact of Gödel’s result.1

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beisswanger, P., (1965). “Die Phasen in Hermann Weyls Beurteilung der Mathematik”, Mathem.atisch-Physikalische Semesterberichte, 12: 132–156.

    Google Scholar 

  2. Bourguignon, J-P., (1992). “Transport parallèle et connexions en géométrie et en physique”, in 1830 — 1930: A Century of Geometry, Boi, L., Flament, D. and Salanskis, J.-M. (eds.), 150–166, Berlin etc.: Springer.

    Google Scholar 

  3. Brouwer, L. E. J., (1911). “Über Abbildung von Mannigfaltigkeiten”, Mathematische Annalen, 71: 97–115; CW 2 (1976): 454–476.

    Google Scholar 

  4. Brouwer, L. E. J., (1918/19).Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten I, II“, Verh.. Kgl. Akademie Wetenschapen Amsterdam, CW 1: 150–221.

    Google Scholar 

  5. Brouwer, L. E. J., (1919). “Intuitionistische Mengenlehre”, Jahresberichte DMV: 203–208, CW 1: 230–235.

    Google Scholar 

  6. Brouwer, L. E. J., (1975). Collected Works. Heyting, A. (ed.). Amsterdam: North-Holland.

    Google Scholar 

  7. Coleman, R. A. and Korte, H. (1998). “The Scientific Achievements of Hermann Weyl”, to appear in Proceedings DMVSeminar Hermann Weyl,Basel: Birkhüuser.

    Google Scholar 

  8. Corry, L., (1997). “Hilbert’s Road to relativity”, manuscript, Tel Aviv University.

    Google Scholar 

  9. Dalen, D. van, (1995). “Hermann Weyl’s intuitionistic mathematics”, Bulletin of Symbolic Logic, 1: 145–169.

    Article  Google Scholar 

  10. Deppert., W. (ed.), (1988). “Exact Sciences and Their Philosophical Foundations: Exakte Wissenschaften und ihre philosophische Grundlegung”, Vorträge des internationalen Hermann-Weyl-Kongresses, Kiel 1985, Frankfurt/M - Bern etc.: Peter Lang Verlag.

    Google Scholar 

  11. Feferman, S., (1988). “Weyl vindicated: ”Das Kontinuum“ 70 years later”, Atti del Conyresso Temi e prospettive della logica e della filosofia della scienza contemporanee, Cesena 7–10 gennaio 1987, 1: 59–93, Bologna: CLUEB.

    Google Scholar 

  12. Fichte, J. G., (1802). Grundriss des Eigenthümlichen der Wissenschaftslehre in Rücksicht auf das theoretische Vermögen, Jena–Leipzig, SW 1: 331–411; GA I. 3: 142–208.

    Google Scholar 

  13. Fichte, J. G., (1834). Ober das Verhältnis der Logik zur Philosophie oder transcendentale Logik, Nachgelassene Werke 1: 103–400, Hrsg. I. H. Fichte. Berlin 1834 (Nachdruck Berlin: de Gruyter 1971 ).

    Google Scholar 

  14. Hausdorff, F., (1914). Grundzüge der Mengenlehre, Leipzig: Veit.

    Google Scholar 

  15. Hesseling, D., (1999). Gnomes in the Fog. The Reception of Brouwer’s Intuitionism in the 1920s. Dissertation University of Utrecht.

    Google Scholar 

  16. Hilbert, D., (1915). “Die Grundlagen der Physik. Erste Mitteilung”, Nachrichten Gesellschaft der Wissenschaften. Göttingen: 395–407.

    Google Scholar 

  17. Hilbert, D., (1917). “Die Grundlagen der Physik. Zweite Mitteilung”, Nachrichten Gesellschaft der Wissenschaften Göttingen: 53–76.

    Google Scholar 

  18. Hilbert, D., (1924). “Die Grundlagen der Physik”, Mathematische Annalen 92: 1–32. GA 3 (1935), 258–289.

    Google Scholar 

  19. Hilbert, D., (GA). Gesammelte mathematische Abhandlungen, 3 volumes, Berlin: Springer 1932, 1933, 1935. Reprint: New York: Chelsea: 1965.

    Google Scholar 

  20. Kampen, E. R. van, (1929). Die kombinatorische Topologie und die Dualtitätssätze,Dissertation Leiden, Published: Den Haag: van Stockum.

    Google Scholar 

  21. Kneser, H., (1926). “Die Topologie der Mannigfaltigkeiten”, Jahresbericht DMV, 34: 1–14.

    Google Scholar 

  22. Kuiper, N., (1979). “A short history of triangulation and related matters”, Mathematical Centre Fracts Amsterdam, 100: 61–79.

    Google Scholar 

  23. Levi-Civita, T., (1917). “Nozione di parallelismo in una variet` qualunque e conseguente specificacione geometrica della curvatura Riemanniana”, Rendiconto del Circolo Matematico di Palermo 42: 173–205.

    Article  Google Scholar 

  24. Majer, U., (1988). “Zu einer bemerkenswerten Differenz zwischen Brouwer und Weyl”, in [Deppert 1988]: 543–553.

    Google Scholar 

  25. Mielke, E. W. and Hehl, F. W., (1988). Die Entwicklung der Eichtheorien: Marginalien zu deren Wissenschaftsgeschichte“, in [Deppert 1988 ]: 191 232.

    Google Scholar 

  26. Pauli, W., (1921). “Relativitätstheorie”, Encyklopädie der Mathematischen. Wissenschaften, 5.2: 539–775, Leipzig: Tettbner.

    Google Scholar 

  27. Reich, K., (1992). “Levi-Civitasche Parallelverschiebung, affiner Zusammenhang, Übertragungsprinzip: 1916/17–1922/23”, Archive for History of Exact Sciences, 44: 77–105.

    Article  Google Scholar 

  28. Reich. K., (1994). Die Entwicklung des Tensorkalküls. Vom absoluten Differentialkalkül zur Relativitätstheorie, Basel etc.: Birkhäuser.

    Google Scholar 

  29. Scholz, E., (1995). “Hermann Weyl’s purely ”infinitesimal geometry“”, in Proceedings International Congress of Math- ematicians, Zurich 1994, p. 1592–1603, Basel etc.: Birkhäuser.

    Google Scholar 

  30. Scholz, E., (1998a). “Hermann Weyls Differentialgeometrie in Kritik und Fortsetzung der Riemannschen Tradition”, manuscript to appear in Proceedings DMV-Seminar Hermann Weyl, Basel: Birkhäuser.

    Google Scholar 

  31. Scholz, E., (1998b). “Weyl and the theory of connections”, to appear in Geometry and Physics, 1850–1930, Gray, J. (ed.), Cambridge UP.

    Google Scholar 

  32. Scholz, E., (1999). “The concept of manifold, 1850–1950” in History of Topology, James, I. (ed.), Dordrecht: Kluwer (in print).

    Google Scholar 

  33. Sigurdsson, S., (1991). “Hermann Weyl, Mathematics and Physics, 1900–1927”, Dissertation, Harvard University, Cambridge.

    Google Scholar 

  34. Straumann, N., (1998). “Ursprünge der Eichtheorien”, manuscript to appear in Proceedings DMV-Seminar Hermann Weyl, Basel: Birkhäuser.

    Google Scholar 

  35. Veblen, D. and Whitehead, J. H. C., (1931). “A set of axioms for differential geometry”, Proceedings National Academy of Sciences 17: 551–561. Whitehead Mathematical Works 1: 93104.

    Google Scholar 

  36. Vietoris, L., (1928). “Über die Symmetrie in den Zusammenhangszahlen kombinatorischer Mannigfaltigkeiten”, Monatshefte für Mathematik und Physik, 35: 165–174.

    Article  Google Scholar 

  37. Vizgin, V. P., (1994). Unified Field Theories in the First Third of the 20th Century, translated from Russian by J. B. Barbour, Basel - Boston - Berlin: BirkhAuser.

    Google Scholar 

  38. Weyl, H., (1913). Die Idee der Riemannschen Fläche,. Leipzig Berlin: B. G. Teubner. 21923. Neudruck New York (Chelsea) 1951. 3 195 5 (überarbeitet) Stuttgart: Teubner.

    Google Scholar 

  39. Weyl, H., (1918a). Das Kontinuum - Kritische Untersuchungen über die Grundlagen der Analysis, Leipzig. Reprint: New York 1960.

    Google Scholar 

  40. Weyl, H., (1918b). “Reine Infinitesimalgeometrie”, Mathematische Zeitschrift, 2: 384–411; GA 2: 1–28 [30].

    Google Scholar 

  41. Weyl, H., (1918c). “Gravitation und Elektrizität”, Sitzungsberichte Akademie der Wissenschaften Berlin, 465–480; GA 2: 29–42, [31].

    Google Scholar 

  42. Weyl, H., (1921). “Über die neue Grundlagenkrise der Mathematik” Mathematische Zeitschrift, 10: 39–79. Selecta, 211–247 (Nachtrag Juni 1955, pp. 247f.); GA 2: 143–180, [41].

    Google Scholar 

  43. Weyl, H., (1922a). “Die Einzigartigkeit der Pythagoreischen Maßbestimmung”, Mathematische Zeitschrift, 12: 114–146; GA 2: 263–295, [49].

    Google Scholar 

  44. Weyl, H., (1922b). “Das Raumproblem”, Jahresbericht DMV, 31: 205–221; GA 2: 328–344, [53].

    Google Scholar 

  45. Weyl, H., (1923). “Analysis situs combinatorio”, Revista Matematica Hispan.o-Americano, 5: 43 p.; GA 2: 390–415, [58].

    Google Scholar 

  46. Weyl, H., (1924). “Analysis situs combinatorio (continuacidn)”, Revista Matematica Hispan.o-Americano, 6: 1–9, 33–41; GA 2: 416–432, [59].

    Google Scholar 

  47. Weyl, H., (1925). “Die heutige Erkenntnislage in der Mathematik”, Symposion, 1: 1–32; GA 2: 511–542, [67].

    Google Scholar 

  48. Weyl, H., (1925/88). Rimini - ins geometrische Ideen, ihre Auswirkungen und ihre Verknüpfung mit der Gruppentheorie,Ed. Chandrasekharan, K., Berlin etc.: Springer.

    Google Scholar 

  49. Weyl, H., (1926). Philosophie der Mathematik und der Naturwissenschaften, München - Wien: Oldenbourg, 1948, 1966 überarbeitet mit Übersetzungen aus der englischen Ausgabe, Hrsg. Kirschner.

    Google Scholar 

  50. Weyl, H., (1928). “Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die Grundlagen der Mathematik”, Abhandlungen Mathematisches Seminar Universität Hamburg 8: 86–88; GA 3: 147–149.

    Google Scholar 

  51. Weyl, H., (1954). “Erkenntnis und Besinnung”, Studia Philosophien, 1954; GA 4: 631–649.

    Google Scholar 

  52. Weyl, H., (GA). Gesammelte Abhandlungen, 4 volumes, Berlin - Heidelberg - New York (1968): Springer.

    Google Scholar 

  53. Letter from Weyl, H. to Klein, F., (28. 12. 1920 ). UB Göttingen Codex Ms Klein 12, 297.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Wuppertal, Germany

    Erhard Scholz

Authors
  1. Erhard Scholz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Copenhagen, Roskilde, Denmark

    Vincent F. Hendricks

  2. University of Roskilde, Roskilde, Denmark

    Stig Andur Pedersen  & Klaus Frovin Jørgensen  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Scholz, E. (2000). Herman Weyl on the Concept of Continuum. In: Hendricks, V.F., Pedersen, S.A., Jørgensen, K.F. (eds) Proof Theory. Synthese Library, vol 292. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2796-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-2796-9_9

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5553-8

  • Online ISBN: 978-94-017-2796-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation