Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that (...) Weyl's conception of choice sequences is defective on several counts. (shrink)

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that (...) Weyl's conception of choice sequences is defective on several counts. (shrink)

ON BROUWER, like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving (...) as standalone texts when tackling a philosophers' original sources or as helpful resources for focusing philosophy students' engagements with these philosopher's often conceptually daunting works, these titles have also gained extraordinary popularity with a lay readership and quite often serve as "refreshers" for philosophy instructors. (shrink)

I look at Gödel’s relation to Brouwer and show that, besides deep disagreements, there are also deep agreements between their philosophical ideas. This text was originally written in French and published in a special issue on logic of Pour la Science, the French edition of Scientific American. This accounts for its introductory character and the absence of references and footnotes. The translation and slight revision are my own.

There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be (...) dated fairly precisely, it is to be found in the margin of Brouwer's notes for his course on Pointset Theory of 1915/16. The course was repeated in 1916/17 and he must have inserted his first formulation of the continuity principle in the fall of 1916 as new material right at the beginning of the course.In modern language, the principle readswhere α and β range over choice sequences of natural numbers, m and x over natural numbers, and stands for ⟨α, α, …, α⟩, the initial segment of α of length m.An immediate consequence of WC-N is that all full functions are continuous, and, as a corollary, that the continuum is unsplittable [28]. Note that WC-N is incompatible with Church's thesis, [22], section 4.6.After Brouwer asserted WC-N, Troelstra was the first to ask in print for a conceptual motivation, but he remained an exception; most authors followed Brouwer by simply asserting it, cf. [18].Let us note first that in one particular case the principle is obvious indeed, namely in the case of the lawless sequences. The notion of lawless sequence surfaced fairly late in the history of intuitionism. Kreisel introduced it in [17] for metamathematical purposes. There is a letter from Brouwer to Heyting in which the phenomenon also occurs [7]. This is an important and interesting fact since it is the only time that Brouwer made use of a possibility expressly stipulated in, e.g., [5], see below. (shrink)

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that (...) Weyl's conception of choice sequences is defective on several counts. (shrink)

We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of (...) absolutely undecidable propositions. We note that principled objections to the general excluded middle similar to Brouwer's had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss' negationless mathematics. (shrink)

Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.

We compare Gödel’s and Brouwer’s explorations of mysticism and its relation to mathematics.

Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? The mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice (...) sequence. But other mathematicians and philosophers have been voicing objections to choice sequences from the start. This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl. "It is almost as if one could hear the two rebels arguing their case in a European café or on a terrace, and coming to a common understanding, with both men taking their hat off to the other, in admiration and gratitude. Dr. van Atten has convincingly applied Husserl's method to Brouwer's program, and has equally convincingly applied Brouwer's intuition to Husserl's program. Both programs have come out the better." Piet Hut, professor of Interdisciplinary Studies, Institute for Advanced Study, Princeton, U.S.A. (shrink)

I argue that Brouwer''s general philosophy cannot accountfor itself, and, a fortiori, cannot lend justification tomathematical principles derived from it. Thus it cannot groundintuitionism, the jobBrouwer had intended it to do. The strategy is to ask whetherthat philosophy actually allows for the kind of knowledge thatsuch an account of itself would amount to.

Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.

Brouwer and Husserl both aimed to give a philosophical account of mathematics. They met in 1928 when Husserl visited the Netherlands to deliver his Amsterdamer Vorträge. Soon after, Husserl expressed enthusiasm about this meeting in a letter to Heidegger, and he reports that they had long conversations which, for him, had been among the most interesting events in Amsterdam. However, nothing is known about the content of these conversations; and it is not clear whether or not there were any (...) other exchanges between them. The following is an attempt at some remarks on Husserl’s Philosophy of Arithmetic from an intuitionistic, by which I mean a Brouwerian, point of view. I will confine myself specifically to some intuitionistic musings on Husserl’s analysis of the concept of finite number, which he developed in his Habilitationsschrift of 1887, “On the Concept of Number,” and presented again in 1891 in the first four chapters of the Philosophy of Arithmetic. It will turn out that the intuitionistic account of number is very different from Husserl’s. For instance, they strongly disagree about the number 2. On the other hand, the roots of the projects of Husserl and Brouwer have much in common. Since this fact makes their disagreement pressing and lends it much of its significance, I will begin there. (shrink)

On the intended interpretation of intuitionistic logic, Heyting's Proof Interpretation, a proof of a proposition of the form p -> q consists in a construction method that transforms any possible proof of p into a proof of q. This involves the notion of the totality of all proofs in an essential way, and this interpretation has therefore been objected to on grounds of impredicativity (e.g. Gödel 1933). In fact this hardly ever leads to problems as in proofs of implications usually (...) nothing more is assumed about a proof of the antecedent than that it indeed is one, and this assumption does not require a further grasp of the totality of proofs. The prime example of an intuitionistic theorem that goes beyond that assumption is Brouwer's proof of the 'bar theorem': For every tree x, if x contains a decidable subset of nodes such that every path through the tree meets it (a 'bar'), then there is a well-ordered subtree of x that contains a bar for the whole of x. Instantiated with an arbitrary tree t, this proposition takes the form P(t) -> Q(t). Brouwer's proof of the bar theorem mainly consists in an analysis of the inner structure that a proof of P(t) must have, where proofs are taken to be primarily mental objects. So here Brouwer engages in phenomenological reflection by considering the acts in which we think about bars. From that analysis he obtains the information from which to construct a proof of Q(t). In this talk I will argue that Brouwer circumvents the problem of impredicativity by resorting to a transcendental argument based on phenomenological description, and defend this application by showing how common objections to transcendental arguments do not apply here. Finally, I will indulge in some historical speculation by relating the foregoing considerations to the remarkable change that Gödel's view on the Proof Interpretation underwent between his Yale Lecture (1941) and the Dialectica paper (1958). (shrink)

The Dutch mathematician and philosopher L.E.J. Brouwer is well known for his ground-breaking work in topology and his iconoclastic philosophy of mathematics, intuitionism. What is far less well known is that Brouwer mused on the philosophy of the natural sciences as well. Later in life he also taught courses in physics at the University of Amsterdam.

Encyclopedia of Philosophy. - Detroit : Macmillan Reference, 2006, 2nd edition.

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the (...) analysis provides an alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be (...) dated fairly precisely, it is to be found in the margin of Brouwer's notes for his course on Pointset Theory of 1915/16. The course was repeated in 1916/17 and he must have inserted his first formulation of the continuity principle in the fall of 1916 as new material right at the beginning of the course.In modern language, the principle readswhere α and β range over choice sequences of natural numbers, m and x over natural numbers, and stands for ⟨α, α, …, α⟩, the initial segment of α of length m.An immediate consequence of WC-N is that all full functions are continuous, and, as a corollary, that the continuum is unsplittable [28]. Note that WC-N is incompatible with Church's thesis, [22], section 4.6.After Brouwer asserted WC-N, Troelstra was the first to ask in print for a conceptual motivation, but he remained an exception; most authors followed Brouwer by simply asserting it, cf. [18].Let us note first that in one particular case the principle is obvious indeed, namely in the case of the lawless sequences. The notion of lawless sequence surfaced fairly late in the history of intuitionism. Kreisel introduced it in [17] for metamathematical purposes. There is a letter from Brouwer to Heyting in which the phenomenon also occurs [7]. This is an important and interesting fact since it is the only time that Brouwer made use of a possibility expressly stipulated in, e.g., [5], see below. (shrink)

In his text 'The modern development of the foundations of mathematics in the light of philosophy' from around 1961, Go¨del announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Go¨del's archive there are two draft letters that shed some further light on the exact strategy that he formulated for himself in the early 1960s. Transcriptions of these letters are presented, together with some comments.

Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.

In the following, I argue that L. E. J. Brouwer's notion of the construction of purely mathematical objects and Edmund Husserl's notion of their constitution coincide.

The article comments on the foregoing article by Christophe Sigwart on concepts of number and compares Sigwart's text to the "intuitionistic" mathematical work developed by Dutch logician and philosopher L. E. J. Brouwer. The two men's positions are compared on such concepts as the intersubjective validity of mathematics, inner time consciousness, and infinite numbers.

Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.

The Dutch mathematician and philosopher L. E. J. Brouwer (1881-1966) developed a foundation for mathematics called 'intuitionism'. Intuitionism considers mathematics to consist in acts of mental construction based on internal time awareness. According to Brouwer, that awareness provides the fundamental structure to all exact thinking. In this note, it will be shown how this strand of thought leads to an intuitionistic function that is effectively computable yet non-recursive.

Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...) theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'. (shrink)

Joint Session of the two Divisions of the International Union for History and Philosophy of Science.

Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.

There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be (...) dated fairly precisely, it is to be found in the margin of Brouwer's notes for his course on Pointset Theory of 1915/16. The course was repeated in 1916/17 and he must have inserted his first formulation of the continuity principle in the fall of 1916 as new material right at the beginning of the course.In modern language, the principle readswhere α and β range over choice sequences of natural numbers,mandxover natural numbers, andstands for ⟨α(0), α(1), …, α(m− 1)⟩, the initial segment of α of lengthm.An immediate consequence of WC-N is that all full functions are continuous, and, as a corollary, that the continuum is unsplittable [28]. Note that WC-N is incompatible with Church's thesis, [22], section 4.6.After Brouwer asserted WC-N, Troelstra was the first to ask in print for a conceptual motivation, but he remained an exception; most authors followed Brouwer by simply asserting it, cf. [18].Let us note first that in one particular case the principle is obvious indeed, namely in the case of the lawless sequences. The notion of lawless sequence surfaced fairly late in the history of intuitionism. Kreisel introduced it in [17] for metamathematical purposes. There is a letter from Brouwer to Heyting in which the phenomenon also occurs [7]. This is an important and interesting fact since it is (probably) the only time that Brouwer made use of a possibility expressly stipulated in, e.g., [5], see below. (shrink)

This book summarizes the intense research that the author performed for his Ph.D. thesis , revised and with the addition of an intuitionistic critique of Husserl's concept of number. His starting point consisted of a double conviction: 1) Brouwerian intuitionism is a valid way of doing mathematics but is grounded on a weak philosophy; 2) Husserlian phenomenology can provide a suitable philosophical ground for intuitionism. In order to let intuitionism and phenomenology match, he had to solve in general two problems: (...) 1) the question of the reciprocal indifference that the authors had toward each other's theorizing which indeed they knew; 2) Husserl's general attitude of accepting classical mathematics, which contrasts with the critical attitude of the intuitionists.Moreover, in the specific case focused on by this book—concerning choice sequences, that is, sequences that can be completely lawless and that were admitted as mathematical entities by Brouwer—van Atten had to handle a further problem: such sequences do not fit the characteristic of omnitemporality that the late Husserl seemed to consider a necessary attribute of entities if they were to be considered mathematical. In as far as they are lawless we cannot predict at any moment how they will develop in the future, hence they are not determined at any particular time—they will be determined only in the future.Let us begin with van Atten's first conviction, i.e., that Brouwerian intuitionism is grounded on a weak philosophy. We have to recall that Brouwer provided a mystical attitude for proposing his intuitionism: man can obtain happiness only by keeping himself closed inside the inner Self. Any attempted movement towards the exterior world is a source of pain: in particular language and the sciences. Mathematics, in order to be morally acceptable …. (shrink)