Advertisement

Abstract

The two main topics here are Brouwer’s Berlin lectures and the Vienna lectures. The Berlin lectures were held in 1927 on invitation of the math faculty. Reports tell us that Brouwer made furor in Berlin, students form all over the country flocked to Berlin to hear the mysterious great man. Students called themselves putschists, in reaction to a reaction of Hilbert to Weyl’s battle cry ‘And Brouwer, that is the revolution’. The future for intuitionism looked rosy for a while.

A year later Brouwer lectured in Vienna, this was essentially the first public exposition of his philosophy since his dissertation. Wittgenstein attended the lecture, which influenced his return to philosophy.

Keywords

Real Estate Fixed Point Theorem Intuitionistic Logic Double Negation Constructive Mathematic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Borel, É.: Les “paradoxes” de la théorie des ensembles. Ann. Sci. Éc. Norm. Super. 25, 443–448 (1908a) MathSciNetGoogle Scholar
  2. Brouwer, L.E.J.: Leven, Kunst en Mystiek. Waltman, Delft (1905). Translation by W.P. van Stigt in Notre Dame J. Form. Log. 37, 381–429 (1966) Google Scholar
  3. Brouwer, L.E.J.: Over de grondslagen der wiskunde. Ph.D. thesis, Amsterdam (1907) Google Scholar
  4. Brouwer, L.E.J.: De onbetrouwbaarheid der logische principes. Tijdschr. Wijsb. 2, 152–158 (1908b) Google Scholar
  5. Brouwer, L.E.J.: Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil, Theorie der Punktmengen. Verh. K. Akad. Wet. Amst. 7, 1–33 (1919a) Google Scholar
  6. Brouwer, L.E.J.: Besitzt jede reelle Zahl eine Dezimalbruch-Entwickelung? Math. Ann. 83, 201–210 (1921a) MathSciNetzbMATHCrossRefGoogle Scholar
  7. Brouwer, L.E.J.: Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik insbesondere in der Funktionentheorie. J. Reine Angew. Math. 154, 1–8 (1923f) Google Scholar
  8. Brouwer, L.E.J.: Intuitionistische Ergänzung des Fundamentalsatzes der Algebra. K. Ned. Akad. Wet. Proc. Sect. Sci. 27, 631–634 (1924b) Google Scholar
  9. Brouwer, L.E.J.: On the n-dimensional simplex star in R n. K. Ned. Akad. Wet. Proc. Sect. Sci. 27, 778–780 (1924f) Google Scholar
  10. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik I. Math. Ann. 93, 244–257 (1925a). Corr. in Brouwer (1926a) MathSciNetzbMATHCrossRefGoogle Scholar
  11. Brouwer, L.E.J.: Intuitionistischer Beweis des Jordanschen Kurvensatzes. K. Ned. Akad. Wet. Proc. Sect. Sci. 28, 503–508 (1925b) zbMATHGoogle Scholar
  12. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik II. Math. Ann. 95, 453–472 (1926a) MathSciNetCrossRefGoogle Scholar
  13. Brouwer, L.E.J.: Intuitionistische Einführung des Dimensionsbegriffes. K. Ned. Akad. Wet. Proc. Sect. Sci. 29, 855–873 (1926b) zbMATHGoogle Scholar
  14. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik III. Math. Ann. 96, 451–488 (1927a) MathSciNetCrossRefGoogle Scholar
  15. Brouwer, L.E.J.: Über Definitionsbereiche von Funktionen. Math. Ann. 97, 60–75 (1927b) MathSciNetCrossRefGoogle Scholar
  16. Brouwer, L.E.J.: Virtuelle Ordnung und unerweiterbare Ordnung. J. Reine Angew. Math. 157, 255–257 (1927c) zbMATHGoogle Scholar
  17. Brouwer, L.E.J.: Intuitionistische Betrachtungen über den Formalismus. Sitz.ber. Preuss. Akad. Wiss. Phys.-Math. Kl., 48–52 (1928c) Google Scholar
  18. Brouwer, L.E.J.: Mathematik, Wissenschaft und Sprache. Monatshefte Math. Phys. 36, 153–164 (1929a) MathSciNetzbMATHCrossRefGoogle Scholar
  19. Brouwer, L.E.J.: Die Struktur des Kontinuums [Sonderabdruck] (1930) zbMATHGoogle Scholar
  20. Brouwer, L.E.J.: Willen, Weten, Spreken. Euclides 9, 177–193 (1933a) Google Scholar
  21. Brouwer, L.E.J.: Discussion. (Following “Les conceptions mathématiques et le reel” of Gonseth). In: Symposium de l’Institut des Sciences théoriques. Bruxelles 1947. Actualités scientifiques et Industrielles, pp. 31–60. Hermann, Paris (1948b) Google Scholar
  22. Brouwer, L.E.J.: De non-aequivalentie van de constructieve en negatieve orderelatie in het continuum. Indag. Math. 11, 37–39 (1949a). Transl. “The non-equivalence of the constructive and the negative order relation in the continuum” in CW 1, pp. 495–496 Google Scholar
  23. Brouwer, L.E.J.: Sur la possibilité d’ordonner le continu. C. R. Math. Acad. Sci. Paris 230, 349–350 (1950) MathSciNetzbMATHGoogle Scholar
  24. Brouwer, L.E.J.: An intuitionist correction of the fixed-point theorem on the sphere. Proc. R. Soc. Lond. Ser. A 213, 1–2 (1952a) MathSciNetzbMATHCrossRefGoogle Scholar
  25. Brouwer, L.E.J.: Intuitionismus. van Dalen, D. (ed.). Bibliographisches Institut Wissenschaftsverlag, Mannheim (1992) zbMATHGoogle Scholar
  26. Brouwer, L.E.J., de Loor, B.: Intuitionistischer Beweis des Fundamentalsatzes der Algebra. K. Ned. Akad. Wet. Proc. Sect. Sci. 27, 186–188 (1924) Google Scholar
  27. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 168–174 (1937a) CrossRefGoogle Scholar
  28. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 261–268 (1937b) CrossRefGoogle Scholar
  29. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 316–324 (1937c) CrossRefGoogle Scholar
  30. Brouwer, L.E.J., et al.: Signifische Dialogen. J. Bijleveld, Utrecht (1939) Google Scholar
  31. Church, A.: On the law of the excluded middle. Bull. Am. Math. Soc. 34, 75–78 (1928) MathSciNetzbMATHCrossRefGoogle Scholar
  32. Feigl, G.: Geschichtliche Entwicklung der Topologie. Jahresber. Dtsch. Math.-Ver. 37, 273–286 (1928) zbMATHGoogle Scholar
  33. Forman, P.: Il Naturforscherversammlung a Nauheim del settembre 1920: una introduzione alla vita scientifica nella Republica de Weimar. In: Rossi, A., Battimelli, G., de Maria, M. (eds.) La ristrutturazione delle scienze tra le due guerre mondiali, vol. 1, pp. 59–78. La Goliardica, Rome (1986) Google Scholar
  34. Freudenthal, H.: Berlin 1923–1930. Studienerinnerungen von Hans Freudenthal. de Gruyter, Berlin (1987a) Google Scholar
  35. Haalmeijer, B.P., Schogt, J.H.: Inleiding tot de leer der verzamelingen. Noordhoff, Groningen (1927) Google Scholar
  36. Hilbert, D.: Die Grundlegung der elementaren Zahlenlehre. Math. Ann. 104, 485–494 (1930) MathSciNetCrossRefGoogle Scholar
  37. Husserl, E.: Edmund Husserl: Briefwechsel. Schuhmann, K. (ed.). Springer, Dordrecht (1994) Google Scholar
  38. Husserl, E.: Husserliana, vol. 6. Palmer, R.E., Sheehan, T. (eds.). Kluwer, Dordrecht (1997) Google Scholar
  39. Köhler, E.: Gödel und der Wiener Kreis. In: Kruntorad, P. (ed.) Jour Fixe der Vernunft. Der Wiener Kreis und die Folgen, pp. 127–158. Verlag Hölder–Pichler–Temsky, Vienna (1991) Google Scholar
  40. Loewner, C.: Charles Loewner. Collected Papers. Bers, L. (ed.). Birkhäuser, Basel (1988) zbMATHGoogle Scholar
  41. Mannoury, G.: Heden is het keerpunt (1930) Google Scholar
  42. Mehrtens, H.: Anschauungswelt versus Papierwelt – Zur Interpretation der Grundlagenkrise der Mathematik. In: Poser, H., Schütt, H.-W. (eds.) Ontologie und Wissenschaft. Philosophische und wissenschafts-historische Untersuchungen zur Frage der Objektkonstitution, vol. 19, pp. 231–276. Technische Universität, Berlin (1984) Google Scholar
  43. Menger, K.: Reminiscences of the Vienna Circle and the Mathematical Colloquium. Golland, L., McGuinness, B., Sklar, A. (eds.). Kluwer, Dordrecht (1994) zbMATHCrossRefGoogle Scholar
  44. Plisko, V.E.: Letters of A.N. Kolmogorov to A. Heyting. Russ. Math. Surv. 43, 89–93 (1988a). Usp. Math. Nauk 43, 75–77 (1988) MathSciNetCrossRefGoogle Scholar
  45. Plisko, V.E.: The Kolmogorov calculus as a part of minimal calculus. Russ. Math. Surv. 43, 95–110 (1988b). Usp. Math. Nauk 43, 79–91 (1988) MathSciNetzbMATHCrossRefGoogle Scholar
  46. Schmitz, H.W.: Frederik van Eeden and the introduction of significs into the Netherlands: from Lady Welby to Mannoury. In: Schmitz, H.W. (ed.) Essays on Significs. Papers Presented on the Occasion of the 150th Birtday of Victoria Lady Welby (1837–1912), vol. 23, pp. 219–246. Benjamins, Philadelphia (1990a) Google Scholar
  47. Troelstra, A.S.: A. Heyting on the formalization of intuitionistic logic. In: Grootendorst, A.W., Bertin, E.M.J., Bos, H.M.J. (eds.) Two Decades of Mathematics in the Netherlands, vol. 1, pp. 153–175. Mathematical Centre, Amsterdam (1978) Google Scholar
  48. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. North-Holland, Amsterdam (1988a) Google Scholar
  49. van Dalen, D.: From Brouwerian counter examples to the creating subject. Stud. Log. 62, 305–314 (1999a) zbMATHCrossRefGoogle Scholar
  50. van Dalen, D.: Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume 2: Hope and Disillusion. Oxford University Press, Oxford (2005) Google Scholar
  51. van der Waerden, B.L.: De strijd om de abstraktie. Noordhoff, Groningen (1928). Inaugural address Google Scholar
  52. van Heijenoort, J.: From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Cambridge (1967) zbMATHGoogle Scholar
  53. Wang, H.: Reflections on Kurt Gödel. MIT Press, Cambridge (1987) zbMATHGoogle Scholar
  54. Weil, A.: Soevenirs d’apprentisage. Birkhäuser, Zürich (1991) Google Scholar
  55. Wilson, W.: Afbeeldingen van Ruimten. Ph.D. thesis, Amsterdam (1928) Google Scholar
  56. Wittgenstein, L.: Philosophische Untersuchungen. Surkamp, Frankfurt (1984). First ed. Blackwell, Oxford (1964). Manuscript (1930) Google Scholar
  57. Zermelo, E.: Über den Begriff der Definitheit in der Axiomatik. Fundam. Math. 14, 339–344 (1929) zbMATHGoogle Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  • Dirk van Dalen
    • 1
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtNetherlands

Personalised recommendations