Abstract
Almost a century ago, Brouwer launched his first intuitionistic programme for mathematics. He did so in his dissertation of 1907, where he formulated the basic act of creation of mathematical objects, known as the ur-intuition of mathematics. Mathematics, in Brouwer’s view, was an intellectual activity of men (of the subject), independent of language and logic. The objects of mathematics come first in the process of human cognition, and description and systematization (in particular logic) follow later. The formulation of the ur-intuition is somewhat hermetic, but in view of its fundamental role, let us reproduce it here.
Keywords
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Brouwer LEJ (1927) Über Definitionsbereiche von Funktionen. Math Ann 97:60–75
Brouwer LEJ (1949a) Consciousness, philosophy and mathematics. In: Proceedings of the 10th international congress of philosophy, Amsterdam 1948, 3:1235–1249
Brouwer LEJ (1949b) De non-aequivalentie van de constructieve en negatieve orderelatie in het continuum. Indag Math 11:37–39. Transl. “The non-equivalence of the constructive and the negative order relation in the continuum” in CW 1, pp 495–496
Kreisel G (1967) Informal rigour and completeness proofs. In: Musgrave A, Lakatos I (eds) International colloquium of philosophy of science. North-Holland, Amsterdam, pp 138–186
Myhill J (1966) Notes towards an axiomatization of intuitionistic analysis. Logique et Analyse 9:280–297
van Atten M, van Dalen D (2002) Arguments for the continuity principle. Bull. Symb. Logic 8: 329–347
van Atten M, van Dalen D (2002) Intuitionism. In: Jaquette D (ed) A companion to philosophical logic. Blackwell, Oxford, pp 513–530
van Atten M, van Dalen D, Tieszen R (2002) Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum. Philos Math 10:203–226
van Dalen D (1977) The use of Kripke’s schema as a reduction principle. J Symb Logic 42:238–240
van Dalen D (1978) An interpretation of intuitionistic analysis. Ann Math Log 13:1–43
van Dalen D (1999) From Brouwerian counter examples to the creating subject. Studia Logica 62:305–314
van Dalen D (2001) Intuitionistic logic. In: Gobble L (ed) Philosophical logic. Blackwell, Oxford, pp 224–257
van Dalen D (2008) Another look at Brouwer’s dissertation. In: van Atten M et al. (eds) One hundred years of intuitionism (1907–2007), pp 3–20, Basel, Birkhäuser
van Dalen D, Troelstra AS (1988a) Constructivism in mathematics, vol 1. North-Holland, Amsterdam
van Dalen D, Troelstra AS (1988b) Constructivism in mathematics, vol 2. North-Holland, Amsterdam
Weyl H (1921) Über die neue Grundlagenkrise der Mathematik. Math Zeitschr 10:39–79
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this paper
Cite this paper
van Dalen, D. (2010). The Genesis of Mathematical Objects, Following Weyl and Brouwer. In: Carsetti, A. (eds) Causality, Meaningful Complexity and Embodied Cognition. Theory and Decision Library A:, vol 46. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-3529-5_4
Download citation
DOI: https://doi.org/10.1007/978-90-481-3529-5_4
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-3528-8
Online ISBN: 978-90-481-3529-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)