Skip to main content

Weyl and Intuitionistic Infinitesimals

  • Chapter
  • First Online:
Weyl and the Problem of Space

Part of the book series: Studies in History and Philosophy of Science ((AUST,volume 49))

  • 449 Accesses

Abstract

As Weyl was interested in infinitesimal analysis and for some years embraced Brouwer’s intuitionism, which he continued to see as an ideal even after he had convinced himself that it is a practical necessity for science to go beyond intuitionistic mathematics, this note presents some remarks on infinitesimals from a Brouwerian perspective. After an introduction and a look at Robinson’s and Nelson’s approaches to classical nonstandard analysis, three desiderata for an intuitionistic construction of infinitesimals are extracted from Brouwer’s writings. These cannot be met, but in explicitly Brouwerian settings what might in different ways be called approximations to infinitesimals have been developed by early Brouwer, Vesley, and Reeb. I conclude that perhaps Reeb’s approach, with its Brouwerian motivation for accepting Nelson’s classical formalism, would have suited Weyl best.

dedicated to the memory of Richard Tieszen, 1951–2017

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 139.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

Similar content being viewed by others

Notes

  1. 1.

    There are similar contemporary statements in e.g. Fraenkel 1929, 116–117 and Skolem 1929, 208. There are many studies of the history of infinitesimals, e.g., for the early history, Baron 1969; Mancosu 1999; Schubring 2005. See Fletcher et al. 2017 for an overview of later approaches.

  2. 2.

    See, e.g., Palmgren 1995; van den Berg et al. 2012; Ferreira and Gaspar 2015; Sanders 2018; van den Berg and Sanders 2017 and Dinis and Gaspar 2018. Such approaches are of particular interest for ‘proof mining’, which is the extraction of explicit information from proofs (e.g., explicit bounds for existential quantifiers, or rates of convergence).

  3. 3.

    [Note MvA: An example of Leibniz’ saying this is found in his well-known letter to Varignon of February 2, 1702 (Leibniz 1859, pp. 93–94).]

  4. 4.

    For an introduction to Nelson’s approach, see his more explanatory first chapter of a projected book Nelson 2002 and Robert 1988.

  5. 5.

    The culmination of this is HST in Kanovei and Reeken 2004; but it does not contain full ZFC as a proper part. See also footnote 45, below.

  6. 6.

    It is, in fact, possible to look at Robinson’s nonstandard analysis in an entirely formalistic way, and take it not to introduce new objects, but new ways of deducing theorems. Robinson points this out at the very end of his book:

    Returning now to the theory of this book, we observe that it is presented, naturally, within the framework of contemporary Mathematics, and thus appears to affirm the existence of all sorts of infinitary entities. However, from a formalist point of view we may look at our theory syntactically and may consider that what we have done is to introduce new deductive procedures rather than new mathematical entities. (Robinson 1966, p. 282)

    I have not highlighted this in the main text, so as to be able to show the contrast between the model-theoretical and the syntactical approaches.

  7. 7.

    The predicates ‘finite’ and ‘infinite’ are defined as usual, in terms of the presence or absence of a bijection between x and the set {m | m < n} for some n ∈ ℕ.

  8. 8.

    Nelson himself later provided a purely syntactical proof that proofs in IST can be reduced to proofs in a standard system ZFC[V] which is itself conservative over ZFC (Nelson 1988). Kanovei and Reeken have shown that actually the presentation of IST there is stronger than that in Nelson 1977, and that not all properties of the later version are shared by the earlier one. However, they add that this is the case if only bounded sets are considered, and that in practice these are the ones that matter (Kanovei and Reeken 2004, p. 128).

  9. 9.

    The references for theorems 3–15 are Nelson 1977, 2002.

  10. 10.

    In IST it is also possible to prove of ℝ directly that it contains infinitesimals. But the approach through ℕ fits Reeb’s motivation better.

  11. 11.

    But (S) does not guarantee that it does not also contain nonstandard elements.

  12. 12.

    See on this also chapter 32, ‘A modified Hilbert Program’, in Nelson 1986.

  13. 13.

    In two dimensions a simplex is a triangle with all its interior points; in three dimensions a pyramid with a triangle as its base.

  14. 14.

    The primary reference for this paragraph and the next is Brouwer’s dissertation, Brouwer 1907, pp. 8–11, but the argument is general.

  15. 15.

    An extensive historical treatment is Ehrlich 2006.

  16. 16.

    See on this point Ehrlich 2006, 69–71.

  17. 17.

    A recent English translation and introduction is van Atten and Sundholm 2017.

  18. 18.

    Gödel 1906–1978, Arbeitsheft 14, pp. 21–23; see its page 14 for the year.

  19. 19.

    Brouwer’s Vienna lectures were invited by a committee of which Hahn was a member (van Dalen 2005, p. 561).

  20. 20.

    For an introduction to choice sequences, with particular attention to philosophical and mathe- matical differences between Brouwer’s theory and Weyl’s adaptation of it, see van Atten et al. 2002; for their history, Troelstra 1982.

  21. 21.

    The same construction is also in Brouwer 1948, but there Brouwer does not add the comment quoted above.

  22. 22.

    In the next section, we will see that Brouwer also had a proof of the actual negation, ¬ ∀ α(α > 0 → α ⋗ 0) (Theorem 28).

  23. 23.

    Brouwer could have given this argument in terms of an undecidable proposition instead of an untestable one. The reason he uses an untestable one is that in his paper he exploits almost the same construction to prove that ≠ cannot be defined as a disjunction of < and >, as that would lead to the contradiction that an untestable proposition is testable. For further discussion of Brouwer’s weak and strong counterexamples, see van Atten 2018.

  24. 24.

    Let ϵ be given, and determine an n such that 2n < ϵ. Construct the sequence α up to α(n), which can be done as each choice is decidable. If α(n) = 0, all further choices will be in the interval [0, 2−(n + 1)] and hence within ϵ from one another. If α(n) ≠ 0, then the choices in α have already been fixed, and hence within ϵ from one another.

  25. 25.

    Before, it was a growing construction for a real number that had yet acquired neither the property of being rational, nor that of being irrational.

  26. 26.

    I don’t think Vesley knew of that particular passage in Brouwer, which was published only in 1981, but he was of course very familiar with this kind of reasoning, e.g. Kleene and Vesley 1965.

  27. 27.

    See Brouwer 1954, p. 4 for Brouwer’s demonstration, and Myhill 1966, p. 295 for the observation that this is KS. Brouwer does not literally state KS; he constructs, from an arbitrary proposition P that as yet cannot be tested, an infinite sequence C(γ, P), and shows that truth of P and rationality of C(γ, P) are equivalent. However, the construction of a witness for KS from C (γ, P) is immediate; and Brouwer’s reasoning towards the existence of C(γ, P) goes through for any P, not only untestable ones.

  28. 28.

    One might think the permanent existence of an α-infinitesimal can be assured by starting a sequence starting with 0’s and stipulating that one will never make the decision between (a) restricting the remaining choices to 0 and (b) making a choice that is not 0. This however will not do, because by choosing 0 until that decision is made, and at the same time resolving always to postpone that decision, the result is that the sequence will be constant 0.

  29. 29.

    Strictly speaking, Brouwer does not consider the question of rationality of each α ∈ [0, 1], but of each α ∈ J, where J is a fan that coincides with [0, 1]. Note also that our notational use of α is different from that in Brouwer 1949a.

  30. 30.

    There, ‘nilpotents’, which are δ such that δ ≠ 0 but δ 2 = 0, may be cancelled when universally quantified.

  31. 31.

    Compare Brouwer’s objection to Veronese’s postulate above, p. 11.

  32. 32.

    For Reeb’s (philosophy of) nonstandard analysis, see, in French, Reeb 1979, 1981; Barreau and Harthong 1989; Diener and Reeb 1989; Lobry 1989; Reeb and Harthong 1989; L’Ouvert 1994, and Salanskis 1999. There is not much about Reeb’s (philosophy of) nonstandard analysis in English; see Fletcher et al. 2017 for a few recent remarks.

  33. 33.

    Nelson has written:

    One of the most treasured experiences of my life is my friendship with Georges Reeb. We had many strong discussions together, intuitionist versus formalist. What he created was unique in my experience. His rare spirit, gentle but fiercely demanding of the highest standards, inspired a group of younger mathematicians with an unmatched ethos of collegiality. And their discoveries are extraordinary.

    Reeb found, and led others to find, not only knowledge and beauty in mathematics, but also virtue. His insights into the nature of mathematics will point the way towards the mathematics of the future. (Nelson 1996, p. 8)

  34. 34.

    In Reeb 1981, p. 153, he had stated that his notion of naïve numbers leads to ideas that ‘show some analogy with IST’, and this is what one expects of a motivation in constructive reality of a distinction in an idealised, classical formal theory. Note that Reeb in his writings does not much discuss his philosophical differences with Nelson. On Nelson’s philosophy of mathematics, see, besides his own papers, also Buss 2006.

  35. 35.

    1984 is the year in which a first version was written and began to circulate.

  36. 36.

    ‘la conception intuitionniste (aussi bien la nôtre que celle de Brouwer) …’

  37. 37.

    This attitude was later described by Sundholm and myself as the intuitionists’ ‘ontological descriptivism’, an attitude they share with Platonists, the disagreement being over the nature of that reality (Sundholm and van Atten 2008, p. 71). If we had known the paper by Reeb and Harthong then, we would surely have taken it into account.

  38. 38.

    Besides the main influence Brouwer, in Reeb one finds quotations or echos from for example Hilbert, Poincaré, Löwenheim, Skolem, and Von Neumann.

  39. 39.

    Brouwer makes the point in Brouwer 1928.

  40. 40.

    [The role of Brouwer’s ‘contentual mathematics’ corresponds to that of Reeb’s ‘mathematical reality’; but the former is richer than the latter.]

  41. 41.

    Wang’s Paradox is: 0 is a small number; if n is a small number, so is n + 1; therefore, all numbers are small. This has generated quite some discussion; the classical papers are Dummett 1975 and Wright 1975.

  42. 42.

    Briefly, the point is that a recursive function is defined by a set of equations, and if the function is to be considered as computable, there must be an effective method to determine that set; but now to understand ‘effective’ as’ recursive’ would be circular. A detailed presentation is given in Heyting 1958, pp. 340–342. For discussion and further references, see Coquand 2014 and Sundholm 2014.

  43. 43.

    Personal communication from Jean-Michel Salanskis, who was a member of Reeb’s group.

  44. 44.

    For Reeb, a constructive proof can exist without having been found: ‘ou bien il y a une démon- stration constructive, déjà connue ou non …’ (Reeb and Harthong 1989, section 16). For Brouwer, on the contrary, the only sense in which a proof can be said to exist is that it has been constructed. However, for the matter at hand this makes no difference.

  45. 45.

    This idealisation need not lead to IST; it was the theory Reeb knew and liked, but closely related axiomatic nonstandard theories have been developed in the meantime (Kanovei and Reeken 2004). Just as in the natural sciences, different theories of the same phenomena in reality may be developed, and have different theoretical virtues.

  46. 46.

    As Salanskis emphasises (Salanskis 1999, p. 140), Reeb writes ‘properties’, not ‘theorems’, so as to distinguish assertions about reality from provable formulas in a formal system.

  47. 47.

    This last consideration is one among several that leads to the question of constructive analogues to IST (which was not a particular concern to Reeb, to whom, on the contrary, the idea of using a classical formal theory was attractive). For this, I refer to the papers mentioned in footnote 2.

  48. 48.

    For a detailed account of that episode, see for example Mancosu and Ryckman 2002, section 6.2.1 and Tieszen 2000, section 7. A recent philosophical discussion on constructive mathematics in physics is Ardourel 2012.

  49. 49.

    But, as we have seen (the four ‘insights’, p. 21), Brouwerian intuitionism does not exclude a formalist foundation of classical mathematics; it includes it as a proper part. However, it is not the part of intuitionistic mathematics that is concerned with the development of contentual mathematics; and the contentual mathematics that Brouwer sought to develop is far richer than the minimum required to get the formalist foundation going.

  50. 50.

    Given the properties of human vision, even at an everyday scale infinitesimal analysis can be useful, as shown by the analysis of the moiré effect in Harthong 1981. Further applications are presented in, e.g., Cutland 1988; Arkeryd et al. 1997; and Lobry and Sari 2008. A recent view from a philosopher of science is Wenmackers 2016.

  51. 51.

    On Weyl’s non-constructive mathematics in physics, see Weyl 1922, p. 146; Weyl 1988, p. 7; Scholz 2001, pp. 95–97; and Eckes 2011, pp. 277, 608–610, 777–778.

  52. 52.

    In a retrospective remark of 1920 Brouwer wrote that, when he had just begun to develop intuitionism, ‘in my contemporary philosophy-free mathematical papers I have frequently also used the old [i.e., non-intuitionistic] methods, trying however to derive only such results as could be hoped to find, after the completion of a systematic construction of intuitionistic set theory, a place in the new system and claim a value, perhaps in modified form.’ (Brouwer 1920, p. 204, trl. mine)

  53. 53.

    See in particular Bernard 2013, pp. 246–248, and Bernard’s instructive, unpublished manuscript Bernard.

  54. 54.

    Palmgren indicates that Nelson’s nonstandard analysis, which corresponds to part but not all of Robinson’s, may well lend itself to constructivisation (Palmgren 1998, p. 234). Weyl, on the other hand, would presumably have been interested in the classical formalism.

  55. 55.

    Scans are available online at https://library.ias.edu/godelpapers, and a full transcription of one notebook (vol. X) at https://halshs.archives-ouvertes.fr/hal-01459188

References

  • Ardourel, V. 2012. La physique dans la recherche en mathématiques constructives. Philosophia Scientiae 16 (1): 183–208.

    Article  Google Scholar 

  • Arkeryd, L.O., N.J. Cutland, and C.W. Henson, eds. 1997. Nonstandard analysis. Theory and applications. Dordrecht: Springer.

    Google Scholar 

  • Baron, M. 1969. The origins of infinitesimal calculus. Oxford: Pergamon Press.

    Google Scholar 

  • Barreau, H., and J. Harthong, eds. 1989. La Mathématique non standard. Paris: Éditions du CNRS.

    Google Scholar 

  • Bernard, J. 2013. L’idéalisme dans l’infinitésimal. Weyl et l’espace à l’époque de la relativité. Presses universitaires de Paris Nanterre, Nanterre. Available online at http://books.openedition.org/pupo/3917.

  • Brouwer, L.E.J. Notebooks, 1904–1907. Brouwer Papers. Haarlem: Noord-Hollands Archief. Available at http://www.cs.ru.nl/F.Wiedijk/brouwer/index.html.

  • ———. 1907. Over de grondslagen der wiskunde. PhD thesis, Universiteit van Amsterdam.

    Google Scholar 

  • ———. 1908. De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte 2: 152–158.

    Google Scholar 

  • ———. 1909. Het wezen der meetkunde. Amsterdam: Clausen.

    Google Scholar 

  • ———. 1917. Addenda en corrigenda over de grondslagen der wiskunde. Nieuw Archief voor Wiskunde 12: 439–445.

    Google Scholar 

  • ———. 1919. Wiskunde, waarheid, werkelijkheid. Groningen: Noordhoff.

    Google Scholar 

  • ———. 1920. Intuitionistische Mengenlehre. Jahresbericht der deutschen Mathematiker-Vereinigung 28: 203–208.

    Google Scholar 

  • ———. 1924. Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie. Journal für die reine und angewandte Mathematik 154: 1–7. 1923B2 in Brouwer (1975).

    Google Scholar 

  • ———. 1927. Über Definitionsbereiche von Funktionen. Mathematische Annalen 97: 60–75.

    Article  Google Scholar 

  • ———. 1928. Intuitionistische Betrachtungen über den Formalismus. KNAW Proceedings 31: 374–379.

    Google Scholar 

  • ———. 1929. Mathematik, Wissenschaft und Sprache. Monatshefte für Mathematik und Physik 36: 153–164.

    Article  Google Scholar 

  • ———. 1930. Die Struktur des Kontinuums. Komitee zur Veranstaltung von Gastvorträgen ausländischer Gelehrter der exakten Wissenschaften, Wien.

    Google Scholar 

  • ———. 1948. Essentieel negatieve eigenschappen. Indagationes Mathematicae 10: 322–323.

    Google Scholar 

  • ———. 1949a. De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum. Indagationes Mathematicae 11: 37–39.

    Google Scholar 

  • ———. 1949b. Contradictoriteit der elementaire meetkunde. KNAW Proceedings 52: 315–316.

    Google Scholar 

  • ———. 1949c. Consciousness, philosophy and mathematics. In Proceedings of the 10th international congress of philosophy, Amsterdam 1948, ed. E. Beth, H. Pos, and J. Hollak, vol. 2, 1235–1249. Amsterdam: North-Holland.

    Google Scholar 

  • ———. 1951. On order in the continuum, and the relation of truth to non-contradictority. KNAW Proceedings 54: 357–358.

    Google Scholar 

  • ———. 1954. Points and spaces. Canadian Journal of Mathematics 6: 1–17.

    Article  Google Scholar 

  • ———. 1975. Collected works. Vol. 1: Philosophy and foundations of mathematics, ed. A. Heyting. Amsterdam: North-Holland.

    Google Scholar 

  • ———. 1981. Brouwer’s Cambridge lectures on intuitionism, ed. D. van Dalen. Cambridge: Cambridge University Press.

    Google Scholar 

  • Buss, S. 2006. Nelson’s work on logic and foundations and other reflections on foundations of mthematics. In Diffusion, quantum theory, and radically elementary mathematics, ed. W. Faris, 183–208. Princeton: Princeton University Press.

    Chapter  Google Scholar 

  • Coquand, T. 2014. Recursive functions and constructive mathematics. In Constructivity and calculability in historical and philosophical perspective, ed. Dubucs, J., and M. Bourdeau, 159–167. Dordrecht: Springer.

    Google Scholar 

  • Cutland, N.J., ed. 1988. Nonstandard analysis and its applications. Cambridge: Cambridge University Press.

    Google Scholar 

  • Diener, F., and G. Reeb. 1989. Analyse non standard. Paris: Hermann.

    Google Scholar 

  • Dinis, B., and J. Gaspar. 2018. Intuitionistic nonstandard bounded modified realisability and functional interpretation. Annals of Pure and Applied Logic 169 (5): 392–412.

    Article  Google Scholar 

  • Dubucs, J., and M. Bourdeau, eds. 2014. Constructivity and calculability in historical and philosophical perspective. Dordrecht: Springer.

    Google Scholar 

  • Dummett, M. 1975. Wang’s Paradox. Synthese 30: 301–324.

    Article  Google Scholar 

  • Eckes, C. 2011. Groupes, invariants et géométries dans l’œuvre de Weyl: Une étude des écrits de Hermann Weyl en mathématiques, physique mathématique et philosophie, 1910–1931. PhD thesis, Université Jean Moulin Lyon 3.

    Google Scholar 

  • Ehrlich, P. 2006. The rise of non-Archimedean mathematics and the roots of a misconception I: The emergence of non-Archimedean Systems of Magnitudes. Archive for the History of the Exact Sciences 60: 1–121.

    Article  Google Scholar 

  • Ferreira, F., and J. Gaspar. 2015. Nonstandardness and the bounded functional interpretation. Annals of Pure and Applied Logic 166 (6): 701–712.

    Article  Google Scholar 

  • Fletcher, P., K. Hrbaček, V. Kanovei, M. Katz, C. Lobry, and S. Sanders. 2017. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange 42 (2): 193–252.

    Article  Google Scholar 

  • Fraenkel, A. 1929. Einleitung in die Mengenlehre. Eine elementare Einführung in das Reich der unendlichen Grössen. 3te umgearbeitete und stark erweiterte Auflage. Berlin: Springer.

    Google Scholar 

  • Freudenthal, H. 1955. Hermann Weyl. Der Dolmetscher zwischen Mathematikern und Physikern um die moderne Interpretation von Raum, Zeit und Materie. In Forscher und Wissenschaftler im heutigen Europa. Weltall und Erde: Physiker, Chemiker, Erforscher des Weltalls, Erforscher der Erde, Mathematiker. Oldenburg: Gerhard Stalling.

    Google Scholar 

  • Gödel, K. Papers, 1906–1978. Department of rare books and special collections. Princeton: Firestone Library.

    Google Scholar 

  • Hahn, H. 1907. Über die nichtarchimedischen Größensysteme. Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Wien 116: 601–655.

    Google Scholar 

  • Harthong, J. 1981. Le moiré. Advances in Applied Mathematics 2: 24–75.

    Article  Google Scholar 

  • ———. 1989. Commentaires sur Intuitionnisme 84. In Barreau and Harthong, 253–273.

    Google Scholar 

  • Heyting, A. 1934. Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Berlin: Springer.

    Google Scholar 

  • ———. 1958. Blick von der intuitionistischen Warte. Dialectica 12: 332–345.

    Article  Google Scholar 

  • Hilbert, D. 1899. Grundlagen der Geometrie. Festschrift zur Feier der Enthüllung des Gauss-Weber Denkmals in Göttingen. Leipzig: Teubner.

    Google Scholar 

  • Kanovei, V., and M. Reeken. 2004. Nonstandard analysis, axiomatically. Berlin: Springer.

    Book  Google Scholar 

  • Kleene, S., and R. Vesley. 1965. The foundations of intuitionistic mathematics, especially in relation to recursive functions. Amsterdam: North-Holland.

    Google Scholar 

  • Kock, A. 2006. Synthetic differential geometry. 2nd ed. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Kreisel, G. 1967. Informal rigour and completeness proofs. In Problems in the philosophy of mathematics, ed. I. Lakatos, 138–186. Amsterdam: North-Holland.

    Chapter  Google Scholar 

  • L’Ouvert. 1994. Numéro spécial Georges Reeb. Institut de recherche sur l’enseignement des mathématiques (IREM) de Strasbourg, Strasbourg, septembre 1994.

    Google Scholar 

  • Laugwitz, D. 1986. Zahlen und Kontinuum. Eine Einführung in die Infinitesimalmathematik. Mannheim: BI Wissenschaftsverlag.

    Google Scholar 

  • Leibniz, G.W. 1859. In Leibnizens mathematische Schriften, ed. C. Gerhardt, vol. 4. Halle: Schmidt.

    Google Scholar 

  • Lobry, C. 1989. Et pourtant… ils ne remplissent pas N. Lyon: Aléas.

    Google Scholar 

  • Lobry, C., and T. Sari. 2008. Non-standard analysis and representation of reality. International Journal of Control 81 (3): 517–534.

    Article  Google Scholar 

  • Mancosu, P. 1999. Philosophy of mathematics and mathematical practice in the seventeenth century. Oxford: Oxford University Press.

    Google Scholar 

  • Mancosu, P., and T. Ryckman. 2002. Mathematics and phenomenology: The correspondence between O. Becker and H. Weyl. Philosophia Mathematica, New Series 10: 130–202.

    Article  Google Scholar 

  • Myhill, J. 1966. Notes towards an axiomatization of intuitionistic analysis. Logique et Analyse 9: 280–297.

    Google Scholar 

  • Nelson, E. 1977. Internal set theory: A new approach to nonstandard analysis. Bulletin American Mathematical Society 83: 1165–1198.

    Article  Google Scholar 

  • ———. 1986. Predicative arithmetic. Princeton: Princeton University Press. Available at https://web.math.princeton.edu/~nelson/books/pa.pdf.

    Book  Google Scholar 

  • ———. 1988. The syntax of nonstandard analysis. Annals of Pure and Applied Logic 38 (2): 123–134.

    Article  Google Scholar 

  • ———. 1996. Ramified recursion and intuitionism. Available at https://web.math.princeton.edu/~nelson/papers/ramrec.pdf. The year 1996 is that in the date of the TeX file on the same server; the original talk was presented to the Colloque Trajectorien, Strasbourg/Obernai, June 12–16, 1995.

  • ———. 2002. Internal set theory. First chapter of an unfinished book on nonstandard analysis, available at https://web.math.princeton.edu/~nelson/books/1.pdf. The year 2002 is that of the pdf file on the server.

  • Palmgren, E. 1993. A note on mathematics of infinity. The Journal of Symbolic Logic 58 (4): 1195–1200.

    Article  Google Scholar 

  • ———. 1995. A constructive approach to nonstandard analysis. Annals of Pure and Applied Logic 73 (3): 297–325.

    Article  Google Scholar 

  • ———. 1998. Developments in constructive nonstandard analysis. Bulletin of Symbolic Logic 4 (3): 233–272.

    Article  Google Scholar 

  • Reeb, G. 1979. La mathématique non standard vieille de soixante ans ?. References are to the reprint in Appendix A to Salanskis 1999.

    Google Scholar 

  • ———. 1981. La mathématique non standard vieille de soixante ans ? Cahiers de Topologie et Géométrie Différentielle Catégoriques 22 (2): 149–154.

    Google Scholar 

  • ———. 1989. 0, 1, 2, etc … ne remplissent pas (du tout) N, 1989. Included as chapter 9 in Analyse non standard, ed. Diener, F., and G. Reeb. Paris: Hermann.

    Google Scholar 

  • Reeb, G., and J. Harthong. 1989. Intuitionnisme 84. In La Mathématique non standard, ed. Barreau, H., and J. Harthong, 213–252. Reprinted in L’Ouvert (1994, pp. 42–77).

    Google Scholar 

  • Robert, A. 1988. Nonstandard analysis. New York: Wiley.

    Google Scholar 

  • Robinson, A. 1965. Formalism 64. In Logic, methodology, and philosophy of science, ed. Y. Bar-Hillel, 228–246. Amsterdam: North Holland.

    Google Scholar 

  • ———. 1966. Non-standard analysis. Amsterdam: North-Holland.

    Google Scholar 

  • Salanskis, J.-M. 1994. Un Maître. In Numéro spécial Georges Reeb, ed. L’Ouvert, 25–32. Institut de recherche sur l’enseignement des mathématiques (IREM) de Strasbourg, Strasbourg.

    Google Scholar 

  • ———. 1999. Le Constructivisme non standard. Villeneuve d’Ascq: Presses Universitaires du Septentrion.

    Google Scholar 

  • Sanders, S. 2017. Nonstandard analysis and constructivism!. https://arxiv.org/abs/1704.00281.

  • ———. 2018. To be or not to be constructive, that is not the question. Indagationes Mathematicae 29 (1): 313–381.

    Article  Google Scholar 

  • Schmieden, C., and D. Laugwitz. 1958. Eine Erweiterung der Infinitesimalrechnung. Mathematische Zeitschrift 69: 1–39.

    Article  Google Scholar 

  • Scholz, E. 2001. Weyls Infinitesimalgeometrie (1917–1925). In Hermann Weyl’s Raum-Zeit-Materie and a general introduction to his scientific work, ed. E. Scholz, 48–104. Basel: Birkhäuser.

    Chapter  Google Scholar 

  • Schubring, G. 2005. Conflicts between generalization, rigor, and intuition. Number concepts underlying the development of analysis in 17–19th century France and Germany. New York: Springer.

    Google Scholar 

  • Skolem, T. 1929. Über die Grundlagendiskussionen in der Mathematik. In Den syvende skandinaviske matematikerkongress i Oslo 19–22 August 1929. Oslo: Broegger.

    Google Scholar 

  • ———. 1934. Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen. Fundamenta Mathematicae 23: 150–161.

    Article  Google Scholar 

  • Sundholm, G. 2014. Constructive recursive functions, Church’s thesis, and Brouwer’s theory of the creating subject: afterthoughts on a Parisian Joint Session. In Constructivity and calculability in historical and philosophical perspective, ed. Dubucs, J., and M. Bourdeau. Dordrecht: Springer. 1–35.

    Google Scholar 

  • Sundholm, G., and M. van Atten. 2008. The proper interpretation of intuitionistic logic. On Brouwer’s demonstration of the Bar Theorem. In One hundred years of intuitionism (1907–2007). The Cerisy conference, ed. M. van Atten, P. Boldini, M. Bourdeau, and G. Heinzmann, 60–77. Basel: Birkhäuser.

    Chapter  Google Scholar 

  • Tieszen, R. 2000. The philosophical background of Weyl’s mathematical constructivism. Philosophia Mathematica 3: 274–301.

    Article  Google Scholar 

  • Troelstra, A. 1982. On the origin and development of Brouwer’s concept of choice sequence. In The L. E. J. Brouwer centenary symposium, ed. A. Troelstra and D. van Dalen, 465–486. Amsterdam: North-Holland.

    Google Scholar 

  • Troelstra, A., and D. van Dalen. 1988. Constructivism in mathematics. Amsterdam: North-Holland.

    Google Scholar 

  • van Atten, M. 2004. On Brouwer. Belmont: Wadsworth.

    Google Scholar 

  • ———. 2015. Essays on Gödel’s reception of Leibniz, Husserl, and Brouwer. Cham: Springer.

    Book  Google Scholar 

  • ———. 2018. The creating subject, the Brouwer-Kripke Schema, and infinite proofs. Indagationes Mathematicae 29: 1565–1636.

    Article  Google Scholar 

  • van Atten, M., and G. Sundholm. 2017. L. E. J. Brouwer’s “Unreliability of the logical principles”. A new translation, with an introduction. History and Philosophy of Logic 38 (1): 24–47.

    Article  Google Scholar 

  • van Atten, M., D. van Dalen, and R. Tieszen. 2002. Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum. Philosophia Mathematica 10 (3): 203–226.

    Article  Google Scholar 

  • van Dalen, D. 1988. Infinitesimals and the continuity of all functions. Nieuw Archief voor Wiskunde 6 (3): 191–202.

    Google Scholar 

  • ———. 1999. Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1: The dawning revolution. Oxford: Oxford University Press.

    Google Scholar 

  • ———. 2001. L.E.J. Brouwer en de grondslagen van de wiskunde. Utrecht: Epsilon.

    Google Scholar 

  • ———. 2005. Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 2: Hope and disillusion. Oxford: Clarendon Press.

    Google Scholar 

  • van den Berg, B., and S. Sanders. 2017. Reverse mathematics and parameter-free transfer. https://arxiv.org/abs/1409.6881.

  • van den Berg, B., E. Briseid, and P. Safarik. 2012. A functional interpretation for nonstandard arithmetic. Annals of Pure and Applied Logic 163 (12): 1962–1994.

    Article  Google Scholar 

  • van Heijenoort, J., ed. 1967. From Frege to Gödel: A sourcebook in mathematical logic, 1879–1931. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Veronese, G. 1891. Fondamenti di Geometria a più dimensioni e a più specie di unità rettilinee, esposti in forma elementare. Padova: Tipografia del Seminario.

    Google Scholar 

  • Vesley, R. 1981. An intuitionistic infinitesimal calculus. In Constructive Mathematics (Lecture Notes in Mathematics, 873), ed. F. Richman, 208–212. Berlin: Springer

    Google Scholar 

  • Wavre, R. 1926. Logique formelle et logique empirique. Revue de Métaphysique et de Morale 33: 65–75.

    Google Scholar 

  • Wenmackers, S. 2016. Children of the cosmos. Presenting a toy model of science with a supporting cast of infinitesimals. In Trick or truth?, ed. A. Aguirre, B. Foster, and Z. Merali, 5–20. Dordrecht: Springer.

    Chapter  Google Scholar 

  • Weyl, H. 1922. Die Einzigartigkeit der Pythagoreischen Maßbestimmung. Mathematische Zeitschrift 12: 114–146.

    Article  Google Scholar 

  • ———. 1925. Die heutige Erkenntnislage in der Mathematik. Symposion 1: 1–32.

    Google Scholar 

  • ———. 1926. Philosophie der Mathematik und Naturwissenschaft. München: Leibniz Verlag. Weyl 1949 (Philosophy of mathematics and natural science. Princeton: Princeton University Press.) is an expanded English version.

    Google Scholar 

  • ———. 1949. Philosophy of mathematics and natural science. Princeton: Princeton University Press.

    Book  Google Scholar 

  • ———. 1988. In Riemanns geometrische Ideen, ihre Auswirkung und ihre Verknüpfung mit der Gruppentheorie, ed. K. Chandrasekharan. Berlin: Springer.

    Google Scholar 

  • Wright, C. 1975. On the coherence of vague predicates. Synthese 30: 325–365.

    Article  Google Scholar 

Download references

Acknowledgements

Earlier versions of this paper were presented at the conference ‘Weyl and the Problem of Space: From Science to Philosophy’, University of Konstanz, May 2015, and at the workshop ‘Workshop on the Continuum in the Foundations of Mathematics and Physics’, University of Amsterdam, April 2017. I am grateful to the organisers for their invitations, and to the audiences for their questions and comments. I have also benefited from exchanges with Julien Bernard (who also shared his instructive, unpublished manuscript ‘New insights on Weyl’s Problem of Space, from the correspondence with Becker’ with me), Dirk van Dalen, Bruno Dinis, Mikhail Katz, Carlos Lobo, David Rabouin, Jean-Michel Salanskis, Sam Sanders, Wim Veldman, and Freek Wiedijk. Gödel’s shorthand notes on the non-Archimedean number system in Brouwer’s dissertation, mentioned in footnote 1.5, were kindly transcribed by Eva-Maria Engelen. These notes are owned by the Institute for Advanced Study and kept in the Department of Rare Books and Special Collections at the Firestone Library, Princeton University.Footnote 55

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

van Atten, M. (2019). Weyl and Intuitionistic Infinitesimals. In: Bernard, J., Lobo, C. (eds) Weyl and the Problem of Space. Studies in History and Philosophy of Science, vol 49. Springer, Cham. https://doi.org/10.1007/978-3-030-11527-2_5

Download citation

Publish with us

Policies and ethics