Advertisement

Abstract

The meetings of various scholars in the so-called Signific Circle continued on a fairly informal level. It was mostly a small group of followers of Van Eeden, that met every fortnight in the pharmacy of Brouwer’s wife, in the colony of Van Eeden, or in Brouwer’s cottage or garden.

Brouwer’s time and attention were mostly devoted to getting his intuitionism going. This was a success indeed; Brouwer managed to establish the ‘shocking’ facts that surprised, and partly alienated, the mathematical community. On the basis of his continuity theorem and an suitable form of transfinite induction the continuity theorem; every real function is (locally uniformly) continuous. This established beyond any doubt that intuitionism was not a poor subsystem of classical mathematics, but a system with its own strong principles and results.

Fraenkel was one the first to appreciate Brouwer’s enterprise, he gave intuitionism ample space in his books on set theory.

Brouwer’s Ph.D. student Heyting had started to join Brouwer in his project. He started to give presentations of intuitionism that could be grasped by the general mathematician, which did change the position of intuitionism as a mathematical doctrine.

Keywords

Fundamental Theorem Constructive Mathematic Choice Sequence Infinite Path Continuity Theorem 
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. Belinfante, M.J.: Over oneindige reeksen. Ph.D. thesis, Amsterdam (1923) Google Scholar
  2. Brouwer, L.E.J.: A. Schoenflies und H. Hahn. Die Entwickelung der Mengenlehre und ihrer Anwendungen, Leipzig und Berlin 1913. Jahresber. Dtsch. Math.-Ver. 23, 78–83 (1914) Google Scholar
  3. Brouwer, L.E.J.: Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Allgemeine Mengenlehre. Verh. K. Akad. Wet. Amst. 5, 1–43 (1918a) Google Scholar
  4. 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
  5. Brouwer, L.E.J.: Besitzt jede reelle Zahl eine Dezimalbruch-Entwickelung? Math. Ann. 83, 201–210 (1921a) MathSciNetzbMATHCrossRefGoogle Scholar
  6. Brouwer, L.E.J.: Begründung der Funktionenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Stetigkeit, Messbarkeit, Derivierbarkeit. Verh. K. Akad. Wet. Amst. 2, 1–24 (1923a) Google Scholar
  7. Brouwer, L.E.J.: Die Rolle des Satzes vom ausgeschlossenen Dritten in der Mathematik. Jahresber. Dtsch. Math.-Ver. 32, 67 (1923c). Italics Google Scholar
  8. Brouwer, L.E.J.: Intuïtionistische splitsing van mathematische grondbegrippen. K. Ned. Akad. Wet. Versl. Gewone Vergad. Afd. Natuurkd. 32, 877–880 (1923d) zbMATHGoogle Scholar
  9. Brouwer, L.E.J.: Beweis dass jede volle Funktion gleichmässig stetig ist. K. Ned. Akad. Wet. Proc. Sect. Sci. 27, 189–193 (1924a) Google Scholar
  10. Brouwer, L.E.J.: Intuitionistische Ergänzung des Fundamentalsatzes der Algebra. K. Ned. Akad. Wet. Proc. Sect. Sci. 27, 631–634 (1924b) Google Scholar
  11. Brouwer, L.E.J.: Bewijs van de onafhankelijkheid van de onttrekkingsrelatie van de versmeltingsrelatie. K. Ned. Akad. Wet. Versl. Gewone Vergad. Afd. Natuurkd. 33, 479–480 (1924c) zbMATHGoogle Scholar
  12. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik I. Math. Ann. 93, 244–257 (1925a). Corr. in Brouwer (1926a) MathSciNetzbMATHCrossRefGoogle Scholar
  13. Brouwer, L.E.J.: Intuitionistischer Beweis des Jordanschen Kurvensatzes. K. Ned. Akad. Wet. Proc. Sect. Sci. 28, 503–508 (1925b) zbMATHGoogle Scholar
  14. Brouwer, L.E.J.: Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresber. Dtsch. Math.-Ver. 33, 251–256 (1925d) zbMATHGoogle Scholar
  15. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik II. Math. Ann. 95, 453–472 (1926a) MathSciNetCrossRefGoogle Scholar
  16. Brouwer, L.E.J.: Intuitionistische Einführung des Dimensionsbegriffes. K. Ned. Akad. Wet. Proc. Sect. Sci. 29, 855–873 (1926b) zbMATHGoogle Scholar
  17. Brouwer, L.E.J.: Die intuitionistische Form des Heine Borel Theorems. K. Ned. Akad. Proc. 29, 866–867 (1926c) zbMATHGoogle Scholar
  18. Brouwer, L.E.J.: Zur Begründung der intuitionistischen Mathematik III. Math. Ann. 96, 451–488 (1927a) MathSciNetCrossRefGoogle Scholar
  19. Brouwer, L.E.J.: Über Definitionsbereiche von Funktionen. Math. Ann. 97, 60–75 (1927b) MathSciNetCrossRefGoogle Scholar
  20. Brouwer, L.E.J.: Virtuelle Ordnung und unerweiterbare Ordnung. J. Reine Angew. Math. 157, 255–257 (1927c) zbMATHGoogle Scholar
  21. Brouwer, L.E.J.: Zur intuitionistischen Zerlegung mathematischer Grundbegriffe. Jahresber. Dtsch. Math.-Ver. 36, 127–129 (1927d) zbMATHGoogle Scholar
  22. Brouwer, L.E.J.: Intuitionistische Betrachtungen über den Formalismus. K. Ned. Akad. Wet. Versl. Gewone Vergad. Afd. Natuurkd. 36, 1189 (1928a). Dutch summary of Brouwer (1928b) Google Scholar
  23. Brouwer, L.E.J.: Beweis dass jede Menge in einer individualisierten Menge enthalten ist. K. Ned. Akad. Wet. Proc. Sect. Sci. 31, 380–381 (1928d) zbMATHGoogle Scholar
  24. Brouwer, L.E.J.: Mathematik, Wissenschaft und Sprache. Monatshefte Math. Phys. 36, 153–164 (1929a) MathSciNetzbMATHCrossRefGoogle Scholar
  25. Brouwer, L.E.J.: Die Struktur des Kontinuums [Sonderabdruck] (1930) zbMATHGoogle Scholar
  26. Brouwer, L.E.J.: Historical background, principles and methods of intuitionism. South Afr. J. Sci. 49, 139–146 (1952b) MathSciNetGoogle Scholar
  27. Brouwer, L.E.J.: Addenda en corrigenda over de rol van het principium tertii exclusi in de wiskunde. Indag. Math. 16, 104–105 (1954b). Transl. “Addenda and corrigenda on the role of the principium tertii exclusi in mathematics” in CW 1, pp. 539–540 MathSciNetGoogle Scholar
  28. Brouwer, L.E.J.: Brouwer’s Cambridge Lectures on Intuitionism. van Dalen, D. (ed.). Cambridge University Press, Cambridge (1981) zbMATHGoogle Scholar
  29. Brouwer, L.E.J.: Intuitionismus. van Dalen, D. (ed.). Bibliographisches Institut Wissenschaftsverlag, Mannheim (1992) zbMATHGoogle Scholar
  30. 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
  31. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 168–174 (1937a) CrossRefGoogle Scholar
  32. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 261–268 (1937b) CrossRefGoogle Scholar
  33. Brouwer, L.E.J., et al.: Signifische dialogen. Synthese 2, 316–324 (1937c) CrossRefGoogle Scholar
  34. Finsler, P.: Gibt es Widersprüche in der Mathematik? Jahresber. Dtsch. Math.-Ver. 34, 143–155 (1925) zbMATHGoogle Scholar
  35. Fontijn, J.: Trots verbrijzeld. Het leven van Frederik van Eeden vanaf 1901. Querido, Amsterdam (1996) Google Scholar
  36. Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. In: Applications of Sheaves, pp. 280–301. Springer, Berlin (1979) CrossRefGoogle Scholar
  37. Fraenkel, A.: Zehn Vorlesungen über die Grundlegung der Mengenlehre. Teubner, Leipzig (1927). Reprinted by the Wissenschaftliche Buchgesellschaft Darmstadt (1972) zbMATHGoogle Scholar
  38. Gentzen, G.: The consistency of elementary number theory. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 132–213. North-Holland, Amsterdam (1969) Google Scholar
  39. Hesseling, D.E.: Gnomes in the fog. The reception of Brouwer’s intuitionism in the 1920s. Ph.D. thesis, Utrecht (1999) Google Scholar
  40. Heyting, A.: Intuitionism, an Introduction. North-Holland, Amsterdam (1956) zbMATHGoogle Scholar
  41. Kleene, S.C., Vesley, R.E.: The Foundations of Intuitionistic Mathematics Especially in Relation to Recursive Functions. North-Holland, Amsterdam (1965) zbMATHGoogle Scholar
  42. König, D.: Sur les correspondances multivoque des ensembles. Fundam. Math. 8, 114–134 (1926) zbMATHGoogle Scholar
  43. Kreisel, G., Troelstra, A.S.: Formal systems for some branches of intuitionistic analysis. Ann. Math. Log. 1, 229–387 (1970) MathSciNetzbMATHCrossRefGoogle Scholar
  44. Martino, E.: Brouwer’s equivalence between virtual and inextensible order. Hist. Philos. Logic 9, 57–66 (1988) MathSciNetzbMATHCrossRefGoogle Scholar
  45. Presser, J.: Ondergang. De Vervolging en Verdelging van het Nederlandse Jodendom. Martinus Nijhoff, Den Haag (1965). 2 vols. Google 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. Sundholm, G., van Atten, M.: The proper interpretation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem. In: van Atten, M., Boldini, P., Bourdeau, M., Heinzmann, G. (eds.) One Hundred Years of Intuitionism (1907–2007), pp. 60–70. Birkhäuser, Basel (2008) CrossRefGoogle Scholar
  48. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. North-Holland, Amsterdam (1988a) Google Scholar
  49. Troelstra, A.S.: van Dalen, D.: Constructivism in Mathematics, vol. 2. North-Holland, Amsterdam (1988b) Google Scholar
  50. van Atten, M.: On Brouwer. Wadsworth, London (2003) Google Scholar
  51. van Dalen, D.: Eine Bemerkung zum Aufsatz “Der Fundamentalsatz der Algebra und der Intuitionismus” von H. Kneser. Arch. Math. Log. 25, 43–44 (1985) zbMATHCrossRefGoogle Scholar
  52. van Dalen, D.: Hermann Weyl’s intuitionistic mathematics. Bull. Symb. Log. 1, 145–169 (1995) zbMATHCrossRefGoogle Scholar
  53. van Dalen, D.: Brouwer and Fraenkel on intuitionism. Bull. Symb. Log. 6, 284–310 (2000) zbMATHCrossRefGoogle Scholar
  54. Weyl, H.: Randbemerkungen zu Hauptproblemen der Mathematik. Math. Z. 20, 131–150 (1924) MathSciNetCrossRefGoogle Scholar
  55. Weyl, H.: Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die Grundlagen der Mathematik. Abh. Math. Semin. Univ. Hamb. 6, 86–88 (1928) zbMATHCrossRefGoogle Scholar
  56. Wittgenstein, L.: Philosophische Untersuchungen. Surkamp, Frankfurt (1984). First ed. Blackwell, Oxford (1964). Manuscript (1930) Google Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

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

Personalised recommendations