After his retirement, Heyting became the resident intuitionist. Brouwer himself resumed his habit of traveling. He visited and lectured abroad, e.g. in Finland, the US, and South Africa. In particular the grand tour of Canada and the US gave him much pleasure; he met many old friends who had emigrated, including Einstein, Gutkind, Gödel. At home he was involved in the management of his wife’s pharmacy, a complicated affair with relocating the shop, reconstructing the building, etc. His wife died in 1959 and he died when crossing the road in front of his house, hit by a couple of cars.


Real Estate Oral Communication Choice Sequence Private Note Foreign Member 
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.


  1. Alexandrov, P.S.: Die Topologie in und um Holland in den Jahren 1920–1930. Nieuw Arch. Wiskd. 17, 109–127 (1969) Google Scholar
  2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967) zbMATHGoogle Scholar
  3. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Berlin (1985) zbMATHCrossRefGoogle Scholar
  4. Brouwer, L.E.J.: Historical background, principles and methods of intuitionism. South Afr. J. Sci. 49, 139–146 (1952b) MathSciNetGoogle Scholar
  5. Brouwer, L.E.J.: Brouwer’s Cambridge Lectures on Intuitionism. van Dalen, D. (ed.). Cambridge University Press, Cambridge (1981) zbMATHGoogle Scholar
  6. Duparc, H.J.A., Korevaar, J.: Johannes Gualtherus van der Corput. 4 September 1890–13 September 1975. Nieuw Arch. Wiskd. 30, 1–40 (1982) MathSciNetzbMATHGoogle Scholar
  7. Freudenthal, H.: Hermann Weyl. Der Dolmetscher zwischen Mathematikern und Physikern um die moderne Interpretation von Raum, Zeit und Materie. In: Schwerte, H., Spengler, W. (eds.) Forscher und Wissenschaftler im heutigen Europa – Weltall und Erde, vol. 999, pp. 357–366. Gerh, Stalling Verlag, Oldenbourg (1955) Google Scholar
  8. Gilmore, P.: The effect of Griss’ Criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. Ph.D. thesis, Amsterdam (1953) Google Scholar
  9. Korevaar, J.: Johannes Gualtherus van der Corput (4 September 1890–13 September 1975). Jaarboek KNAW, 1–6 (1975) Google Scholar
  10. Myhill, J., Kino, A., Vesley, R.E.: Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo, N.Y., 1968. North-Holland, Amsterdam (1970) zbMATHGoogle Scholar
  11. Nijenhuis, A.: J.A. Schouten: a master at tensors (28 August 1883–20 January 1971). Nieuw Arch. Wiskd. 20, 1–19 (1972) MathSciNetzbMATHGoogle Scholar
  12. Noorda, S., Staal, F.: Varen onder eigen vlag – Later op een maandagmiddag. Vossiuspers, Amsterdam (1999) CrossRefGoogle Scholar
  13. Rigby, A.: Initiation and Initiative. An Exploration of the Life and Ideas of Dimitrije Mitrinović. East European Monographs. Columbia University Press, Boulder (1984) Google Scholar
  14. Struik, D.J.: Levensbericht van Jan Arnoldus Schouten (28 januari 1883–20 januari 1971). Jaarb. KNAW 71, 94–100 (1971) Google Scholar
  15. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. North-Holland, Amsterdam (1988a) Google Scholar
  16. Troelstra, A.S.: van Dalen, D.: Constructivism in Mathematics, vol. 2. North-Holland, Amsterdam (1988b) Google Scholar
  17. Urysohn, P.: Works on Topology and Other Areas of Mathematics 1, 2. Alexandrov, P. (ed.). State Publ. of Technical and Theoretical Literature, Moscow (1951) (Russian) Google Scholar
  18. van Atten, M., van Dalen, D.: Arguments for the continuity principle. Bull. Symb. Log. 8, 329–347 (2002) zbMATHCrossRefGoogle Scholar
  19. van Dalen, D.: L.E.J. Brouwer en de eenzaamheid van het gelijk. Vrij Nederland, 21.2.1981, 3–23 (1981) Google Scholar
  20. van Dalen, D.: L.E.J. Brouwer 1881–1966. Een Biografie. Het heldere licht der wiskunde. Bert Bakker, Amsterdam (2001a) Google Scholar
  21. Weyl, H.: Mathematics and logic. A brief survey serving as a preface to a review of “The Philosophy of Bertrand Russell”. Am. Math. Mon. 53, 2–13 (1946) MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

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

Personalised recommendations