Hostname: page-component-848d4c4894-sjtt6 Total loading time: 0 Render date: 2024-06-13T13:11:33.241Z Has data issue: false hasContentIssue false

Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism

Published online by Cambridge University Press:  02 September 2022

Kati Kish Bar-On*
Affiliation:
Cohn Institute for the History and Philosophy of Science and Ideas, Tel Aviv University
Rights & Permissions [Opens in a new window]

Argument

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2022. Published by Cambridge University Press

1. Introduction

Hermann Weyl’s engagement with the foundations of mathematics began in 1910, when he first started to consider constructive methods as a solid opponent to classical mathematics (Beisswanger Reference Beisswanger1965; Scholz Reference Scholz and Hendricks2000). His philosophical views played a major role in the development of his inclination towards constructive approaches, and later towards Brouwer’s intuitionistic ideas (Scholz Reference Scholz2004; Sieroka Reference Sieroka2009, Reference Sieroka, Bernard and Lobo2019). Weyl was deeply influenced by Kant’s notion of the primacy of intuition, and even though he cannot be described as a true idealist (since his metaphysical outlook included some realistic aspects, (Bell and Korté Reference Bell and Korté2015)), he did, during 1912, find philosophical enlightenment in Husserl’s phenomenology and Fichte’s metaphysical idealism.

Brouwer was also interested in the philosophy of mathematics, and dedicated the second chapter of his dissertation to improving Kant’s view of the a priori (Brouwer Reference Brouwer1907). The force behind Brouwer’s philosophical agenda was Gerrit Mannoury, whose lectures revealed to Brouwer that mathematics was not a realm that existed independently of human beings, but rather a human creation. This was in accordance with Brouwer’s idealistic philosophy, and set the stage for Brouwer’s choice of research subject (van Dalen Reference van Dalen1999; Mannoury Reference Mannoury1909).

It should be noted that Weyl’s idealism and Brouwer’s idealism were quite different. Brouwer’s philosophy amounted virtually to solipsism, while Weyl still seemed to cleave to phenomenology (Mancosu and Ryckman Reference Mancosu and Ryckman2002). Nevertheless, this common philosophical ground (specifically their shared view about the primary intuition of time) contributed to Weyl’s inclination towards intuitionism.

The publication of Das Kontinuum (Weyl Reference Weyl, Pollard and Bole1918) marked the emergence of Weyl’s commitment to constructivism, but less than three years later, it had transformed into an intuitionistic approach that was expressed in his renowned paper “On the New Foundational Crisis in Mathematics” (Weyl Reference Weyl and Mancosu1921). Weyl was critical of Cantor’s set-theoretical foundations of mathematics not only on the grounds of the paradoxes they raised, but mostly because Cantor’s set theory addressed the subject matter of mathematics as a series of abstract entities that exist independently of human thought. Weyl, in contrast, viewed the natural number system as a human conception, and insisted on working with explicit definitions of sets and functions (Feferman Reference Feferman1998). Brouwer’s intuitionistic program, which was based on mathematical objects as constructions of the human mind, had therefore attracted Weyl’s attention.

During the 1920s, however, Weyl gradually shifted his foundational stance away from intuitionism, possibly due to the mathematical sacrifices required in order to achieve the mathematical stability that intuitionism proposed. He found the intuitionistic approach “awkward” (Weyl Reference Weyl1949, 54) and intolerable for practicing mathematicians (van Dalen Reference van Dalen1995). In the mid-1920s, Weyl retreated from intuitionism and re-approached Hilbert’s axiomatic program (Beisswanger Reference Beisswanger1965; van Dalen Reference van Dalen1995). Nevertheless, Weyl’s later works show that he never fully accepted Hilbert’s program, and continued to waver between constructive, intuitionistic, and axiomatic approaches to the foundational problem throughout his life.

Solomon Feferman described at least two additional changes of heart vis-à-vis constructivism that emerged in Weyl’s later works: one in the late 1930s, when he restated the importance of his early constructive views as essential to the process of forming a solution to the foundational problem, and another in his 1953 lecture, where he described himself as being torn between constructivity and axiomatics (Feferman Reference Feferman1998). The lecture, titled “Axiomatic versus Constructive Procedures in Mathematics,” ended with the words: “Indeed my own heart draws me to the side of constructivism. Thus it cost me some effort to follow the opposite direction, putting axiomatics before construction, but justice seemed to require this from me” (Weyl Reference Weyl1953, 38).

Historians and philosophers of mathematics have explicitly noted Weyl’s frequent changes of heart regarding the foundational crisis. Feferman claimed that “we all change our minds, or most of us do, about things over periods of time and Weyl was certainly no exception“ (Feferman Reference Feferman and Hendricks2000, 181). Erhard Scholz suggests that Weyl’s “intellectual moves” during the 1920s derived from his philosophical considerations, which were rooted in Fichte’s construction of the concept of space and matter (Scholz Reference Scholz and Hendricks2000). Norman Sieroka explains the fluctuation of Weyl’s positions regarding formalism, intuitionism, and constructivism as closely related to the developments in his philosophical views, namely, the separation he made between Husserlian phenomenology and Fichtean constructivism (Sieroka Reference Sieroka2009). However, such accounts only address part of the story, as they make no attempt to explain either Weyl’s motivations for changing his mind or the roots of his undecidedness.

To do justice to Weyl’s story, I will address the broader philosophical issues of normative framework transitions and try to explain how practitioners expound new alternatives. First, I will focus on three central themes that occupied Weyl’s thought: the problematic differentiation between the intuitive and the mathematical continuum, the notion of logical existence, and the necessity of drawing upon intuitionism, constructivism, and formalism in order to adequately address the foundational crisis of mathematics. The analysis of these themes will reveal Weyl’s continuous endeavor to deal with such fundamental problems. Afterwards, building on Menachem Fisch’s model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process (Fisch Reference Fisch2017; Fisch and Benbaji Reference Fisch and Benbaji2011), I will examine Weyl’s motives for considering such a radical shift in the first place, and I will show that Weyl’s constant changes of heart in regards to the foundations of mathematics were only symptoms of a deeper, intrasubjective process of self-criticism induced by exposure to external normative criticism.

2. The undecided nature of Weyl’s thought

2.1. The concept of the continuum

In Das Kontinuum, Weyl presented a semi-constructive alternative to the set-theoretic basis of the full real number system ℝ. Though he perceived it as a suitable alternative to those suggested by Dedekind, Cantor, Weierstrass, and Hilbert, Weyl was fully aware of the difficulties arising from his approach,Footnote 1 specifically regarding what he saw as the unbridgeable gap between the continuum given by intuition (of space, time and motion) and its mathematical representation as a “discrete” exact concept (that of the real number).

Weyl described the discrepancy between an intuitively given continuum (he referred to time as the most fundamental continuum) and the concept of number in §6 of the second chapter in Das Kontinuum:

For example, I see this pencil lying before me on the table throughout a certain period of time. This observation entitles me to assert that during a certain period this pencil was on the table; and even if my right to do so is not absolute, it is nonetheless reasonable and well grounded. It is obviously absurd to suppose that this right can be undermined by an “expansion of our principles of definition” - as if new moments of time, overlooked by my intuition, could be added to this interval, moments in which the pencil was, perhaps, in the vicinity of Sirius or who knows where. If the temporal continuum can be represented by a variable which “ranges over” the real numbers, then it appears to be determined thereby how narrowly or widely we must understand the concept “real number” and the decision about this must not be entrusted to logical deliberations over principles of definition and the like. (Weyl Reference Weyl, Pollard and Bole1918, 87–88)

Throughout his attempt to analyze the continuous nature of time, Weyl struggled with the transition from what is intuitively present (such as a pencil lying on the table for a certain period), to a description of a time-period consisting of individual time-points (namely, replacing “a certain period” with “every time-point which falls within a certain time span”). The latter is simply not intuitive anymore. Finally, he concluded that exact time points are not the underlying elements of time, as given to us by experience. Within the intuitive continuum, he claimed, “the exhibition of a single point is impossible. Further, points are not individuals and, hence, cannot be characterized by their properties. (Whereas the ‘continuum’ of the real numbers consists of genuine individuals, that of the time- or space-points is homogeneous.)” (Weyl Reference Weyl, Pollard and Bole1918, 94). The section ends with the underlying statement that the intuitive and the mathematical continuum are comprised of fundamentally different elements; thus, the two entities cannot coincide.

Less than two years later, Weyl published “On the New Foundational Crisis in Mathematics” (Weyl Reference Weyl and Mancosu1921), which embodied a perspective on the continuum very different from the one presented in his preceding works. Here, Weyl repudiated his interpretation of the continuum in Das Kontinuum, which he referred to as “atomistic” or “discrete,” because it derived from a false belief that individual points constitute the continuum and that each point is independent when taken by itself (Weyl Reference Weyl and Mancosu1921, 94). The new interpretation Weyl now embraced was Brouwer’s intuitive construction of the continuum, as Weyl felt that Brouwer was the only one close enough to bridge the “chasm” between the intuitive and mathematical continua (Bell Reference Bell2000).

As a result of this shift, Weyl’s paper relied upon a completely different conception of the real numbers. In it, real numbers were no longer represented as individual points; a real number x is represented by a “dual interval”, an interval stretching from the number y to the number z and containing x in it.Footnote 2 As Weyl wrote:

The concept of real number, as a number that is given only approximatively, yet one for which the degree of approximation can be pushed beyond any limit is thus to be formulated simply as: a real number is an infinite sequence of dual intervals i, i’, i’’, … such that every interval of the sequence fully contains in its inside the next following one. (Weyl Reference Weyl and Mancosu1921, 93)

In this publication, Weyl also introduced two additional concepts associated with his new notion of the real number: sequences and laws. Both were used to define the relationship between the new individual real numbers and the new concept of the continuum, so that “The individual real number is represented by a law φ that determines a sequence in infinitum, while the continuum is represented by the choice sequence unrestricted by any law in the freedom of its development” (Weyl Reference Weyl and Mancosu1921, 94).

A genuine continuum, according to Weyl, cannot be divided into separate fragments, since the true nature of the continuum demands that every part of it can be further divided without limitation (Weyl Reference Weyl and Mancosu1921, 115). The continuum in the traditional analysis was defined as a set of its points, the points being fundamental elements in the set. Each point was a part of the set, such that the traditional continuum could be divided into parts, but this was as far as one could go with such division since a point is considered a part that does not contain any further parts. By redefining primary elements of the construction of the real numbers as intervals rather than points, the mathematical continuum can finally be “in harmony” with the intuitive one. The chasm that represented the unbridgeable difference between the intuitive and the mathematical continuum in Das Kontinuum reappears now as the gulf between the new mathematical continuum and a set of discrete elements (Weyl Reference Weyl and Mancosu1921, 95).

Several years later, in Philosophy of Mathematics and Natural Sciences Weyl addressed the problem of the continuum as an open question that has not yet been properly attended to. In this book, Weyl presented his philosophical approach to mathematics, quoting Anaxagoras to support his claim of the continuous continuum:

The essential character of the continuum is clearly described in this fragment due to Anaxagoras: “Among the small there is no smallest, but always something smaller. For what is cannot cease to be no matter how far it is being subdivided.” The continuum is not composed of discrete elements which are “separated from one another as though chopped off by a hatchet.” (Weyl Reference Weyl1949, 41)

The puzzling nature of the continuum and the problems surrounding its mathematical representation continued to occupy Weyl’s thoughts. In his paper “Axiomatic and Constructive Procedures in Mathematics,” written in 1954, he still grappled with the “riddle of the continuum” and regarded it as a “serious affair” that has not yet been resolved (Weyl Reference Weyl1954).

2.2. Logical existence

The first chapter in Das Kontinuum engages with core concepts such as “judgement,” “category,” “proposition,” and possible relations between them (Weyl Reference Weyl, Pollard and Bole1918, 5–9). Throughout the chapter Weyl forms six “complex judgment schemes” in order to explain logical notions like “and,” “or,” logical negations, and the concept of logical existence (Weyl Reference Weyl, Pollard and Bole1918, 10). For example: “If F(xy) means ‘x is the father of y’ and accordingly, F(Iy) means ‘I am the father of y,’ then F(I*) means ‘There is someone of whom I am the father,’ that is, ‘I am a father’” (Weyl Reference Weyl, Pollard and Bole1918, 11). Judgement statements such as “every object has such and such a property” and “there is no object which lacks the relevant property” are deemed equivalent in Das Kontinuum (Weyl Reference Weyl, Pollard and Bole1918, 12). It is tacitly presupposed that a combination of existence judgement and negation (e.g., “there is no object that…”) is fully interchangeable with universal statements such as “all” or “every” (Weyl Reference Weyl, Pollard and Bole1918, 12–13).

The picture presented in “On the New Foundational Crisis in Mathematics” (Weyl Reference Weyl and Mancosu1921), however, reveals quite a different theory. Building on the new interpretation of the continuum as an entity that can be divided without limitation, the concept of mathematical existence is entirely reformed. In order to deduce from the statement “there is someone of whom I am the father” that “I am a father,” the speaker must be able to produce a witness: a child of his. Once the witness is produced, the inference is justified; but if one is unable to produce a witness, existence judgement such as “there is someone” is meaningless. As Weyl wrote in this paper:

An existential statement – say, “there exists an even number” – is not at all a judgement in the strict sense, which claims a state of affairs. Existential states of affairs are empty inventions of logicians. “2 is an even number”: This is an actual judgement expressing a state of affairs; “there is an even number” is merely a judgement abstract gained from this judgement. If knowledge is a precious treasure, then the judgement abstract is a piece of paper indicating the presence of a treasure, yet without revealing at which place. Its only value can be to drive me on to look for the treasure. The piece of paper is worthless as long as it is not realized by an underlying actual judgement like “2 is an even number.” (Weyl Reference Weyl and Mancosu1921, 97–98)

In Philosophy of Mathematics and Natural Sciences Weyl differentiated between two types of logic: a finite one and a transfinite one. Finite logic uses logical notions such as “and,” “or,” and “not,” whereas transfinite logic also includes existence judgements such as “all” and “there is.” He wrote

That part of logic which operates exclusively with the logical connectives “not,” “and,” “or” will be referred to as finite logic, as opposed to transfinite logic, which in addition uses the propositional operators “some” (or “there is”) and “all.” The reason for this subdivision is as follows. Suppose several pieces of chalk are lying in front of me; then the statement “all these pieces of chalk are white” is merely an abbreviation of the statement “this piece is white & that piece is white & …” (where each piece is being pointed at in turn). Similarly “there is a red one among them” is an abbreviation of “this is red v that is red v … “ But only for a finite set, whose elements can be exhibited individually, is such an interpretation feasible. In the case of infinite sets, the meaning of “all” and “some” involves a profound problem which touches upon the core of mathematics, the very secret of the infinite. (Weyl Reference Weyl1949, 13–14)

Within the finite set, Weyl redefined logic as comprised of two logics and identified transfinite logic with existential and universal judgments. In order to deduce existence from an existence statement, it is no longer mandatory to provide a witness within a finite set, since one can eventually be found by pointing out each object. The same procedure applies for universal quantifiers since, within finite sets, each object can be accounted for. However, upon considering infinite sets, the latter no longer holds. Existence statements, as well as universal quantifiers, again receive the status of problematic at best and meaningless at worst. This approach to logic, specifically within the delimiter of finite and infinite sets, indicates that Weyl maintained his ideas from 1921 about logical existence and the problematic aspect of “there is” statements, but also that he accepted the validity of “there is” statements in some realms of logic (namely, those that address finite sets). This represents a more moderate approach than the one he presented in 1921.

In later works, the differentiation between finite and transfinite logic within finite sets disappeared, and instead, Weyl used the terms finite and infinite logic to emphasize the differences he saw between two opposing mathematical views: one that consists primarily of construction, and another that subordinates construction to axioms and deduction. He wrote

If carried so far, the issue between explicit construction and implicit definition by axioms ties up with the last foundations of mathematics. Evidence based on construction refuses to support the principles of Aristotelian logic when these are applied to existential and general propositions in infinite fields like the sequence of integers or a continuum of points. And if the logic of the infinite is taken into account, it seems impossible to axiomatize adequately even the most primitive process, the transition n -> n’ from an integer n to its follower n’. As K. Gödel has shown, there will always be constructively evident arithmetical propositions which can not be deduced from the axioms however you formulate them, while at the same time the axioms, riding roughshod over the subtleties of the constructive infinite, go far beyond what is justifiable by evidence. (Weyl Reference Weyl1940, 446)

Here Weyl describes two completely different logics: the Aristotelian logic used by the axiomatic approach and the logic of the infinite that is applied in constructive methods. When considering existence statements in infinite sets, it is only the “logic of the infinite” (i.e., Brouwer’s intuitionistic logic) that - according to Weyl - comes closest to a true mathematical representation of our intuition.

Weyl never came to terms with the question of whether mathematics can adequately portray what is given to us by experience (Weyl Reference Weyl1951). The problematic aspects he explicitly pointed out, such as logic existence statements and the concept of the continuum, remained an open question to him, since he felt that neither constructivism nor formalism were able to properly resolve the tensions between mathematics and our phenomenological sense of the world.

2.3. To be an intuitionist, a formalist, or a constructivist?

In addition to “On the New Foundational Crisis in Mathematics,” Weyl engaged with intuitionism twice more during the 1920s: in 1924, when he presented a constructive proof of the fundamental theorem of algebra, and in 1928 as a response to Hilbert’s attack on intuitionism during a seminar talk in Hamburg (van Dalen Reference van Dalen1995, 163). The Hamburg symposium note, in which he stated that “in the epistemological evaluation of the new situation thus created, nothing separates me any longer now from Hilbert” (van Dalen Reference van Dalen1995, 164), marks Weyl’s gradual dissociation from intuitionism, which had begun during 1926-1927 (Mancosu and Ryckman Reference Mancosu and Ryckman2002).

Weyl was always aware of the problematic aspects of Brouwer’s intuitionism. Even in an advocating paper such as “On the New Foundational Crisis in Mathematics,” Weyl accepted intuitionism with a grain of salt. He wrote

The new conception, as one can see, brings with it far-reaching restrictions with respect to the generality that enthusiastically leads into vagueness and that we have become used to through traditional analysis. We must learn again to be modest. With the intention to storm the heavens, we merely piled up mists upon mists, unable to support anyone who was seriously trying to stand upon them. What remained tangible might, at first glance, appear so insignificant that the possibility of analysis could generally be put into question. This pessimism, however, is ill-founded, as will be shown in the next section. Yet we must firmly and with all energy hold on to the fact that mathematics is through and through, even as concerns the logical forms in which it moves, dependent on the nature of natural numbers. (Weyl Reference Weyl and Mancosu1921, 109)

On a less optimistic note, Weyl elaborated on the implications of such restrictions on the mathematical discipline as a whole, writing:

Mathematics with Brouwer gains its highest intuitive clarity. He succeeds in developing the beginnings of analysis in a natural manner, all the time preserving the contact with intuition much more closely than had been done before. It cannot be denied, however, that in advancing to higher and more general theories the inapplicability of the simple laws of classical logic eventually results in an almost unbearable awkwardness. And the mathematician watches with pain the larger part of his towering edifice which he believed to be built of concrete blocks dissolve into mist before his eyes. (Weyl Reference Weyl1949, 54)

In its entirety, Brouwer’s intuitionistic theory obliged its adherents to forfeit core mathematical notions while embracing completely different, sometimes even contradicting, alternatives.Footnote 3 Whereas Brouwer was willing to eschew fundamental classical theorems and accept the invalidity of central concepts in calculus (Brouwer Reference Brouwer and Heyting1912, Reference Brouwer1918; van Stigt Reference van Stigt1990), Weyl felt that intuitionistic ideas are of little relevance to mundane mathematical practice, avowing that everyday mathematical theorems are not affected by his new intuitionistic contemplations. In a draft of Weyl’s Reference Weyl and Mancosu1921 paper, he remarked that

It should be stressed once more that certain individual functions of that kind [functio continua] occur occasionally in mathematics, that general theorems are, however, never asserted about them. The general formulation of these notions is therefore required only if one is giving a justification of the meaning and methods of mathematics; for itself, the subject matter of its theorems, it is never considered at all. (van Dalen Reference van Dalen1995, 148–49)

Nevertheless, Weyl was reluctant to commit to Hilbert’s formalistic approach. From Weyl’s point of view, Hilbert’s formalization of set theory amounted to reducing mathematics to formal logical systems that can be described objectively without reference to their intended meaning, an approach that Weyl perceived as a degradation of mathematics:

Hilbert’s mathematics may be a pretty game with formulae, more amusing even than chess; but what bearing does it have on cognition, since its formulae admittedly have no material meaning by virtue of which they could express intuitive truths? The subject of mathematical investigation, according to Hilbert, is the concrete symbols themselves. It is without irony, therefore, when Brouwer says “To the question where shall mathematical rigor be found, the two parties give different answers. The intuitionist says: in the human intellect, the formalist: on paper.” (Weyl Reference Weyl1949, 61)

Neither Hilbert’s formalism-finitism nor Brouwer’s intuitionism were able to adequately rebuild the foundations of mathematics as Weyl saw fit. In his 1925 paper “The Current Epistemological Situation in Mathematics,” Weyl claimed that both are necessary for a comprehensive understanding of mathematics. He concluded that

it is certainly greatly beneficial that Brouwer had strengthened again the sense in mathematics for the intuitively given. His analysis expresses in a pure manner the content of the mathematical basic intuition and is therefore shone through by clarity without mystery. Yet beside Brouwer’s way, one will also have to pursue that of Hilbert; for it is undeniable that there is a theoretical need simply incomprehensible from the merely phenomenal point of view, with a creative urge directed upon the symbolic representation of the transcendent, which demands to be satisfied. (Weyl Reference Weyl and Mancosu1925, 141)

Even though the ultimate foundations and meaning of mathematics remained an open problem for Weyl, he saw a mid-way solution between Hilbertian formalism-finitism and constructive methods in the form of “dextrous blending”: an amalgam of Hilbert’s axiomatic approach to mathematics in algebra (championed by Bourbaki) and constructive procedures in other mathematical fields such as topology and geometry (Weyl Reference Weyl1954).

Weyl did not regard intuitionism, constructivism, and formalism-finitism as clearly delineated theories. He noted that the borderlines of Brouwer’s mathematics are vague, and some of Hilbert’s mathematical considerations that appear to be evident, are not always entirely evident (Weyl Reference Weyl1953). Thus, he was not only concerned with questions regarding the subject matter of the theory itself (e.g., which definition of the continuum corresponds better with intuition?), but also with questions about what it means to be a formalist, a constructivist, or an intuitionist (e.g., What are the implications of building the foundations of mathematics solely on intuitionism\formalism-finitism\constructivism? Does such mathematics remain useful?).

Weyl is often described by historians and philosophers of mathematics as a “wanderer” (Scholz Reference Scholz2004, 1), who travelled between mathematical approaches and through philosophical fields. His retreat from Brouwer’s ideas was portrayed as becoming “disillusioned” (Rosello Reference Rosello2012, 147), and Solomon Feferman argued that when we talk about Weyl’s foundational views, we are faced with shifting positions (Feferman Reference Feferman and Hendricks2000). The analysis of Weyl’s stances regarding logical existence, the continuum, and the underlying meaning of being an intuitionist, a formalist, or a constructivist, shows more than a mere change of mind; it depicts Weyl’s consistent attempt to reconcile (what he felt was) the intuitive nature of mathematics with the common, everyday use of mathematical practice without losing one to the other.

In the remainder of the paper, I wish to enhance the standard view held by historians and philosophers of mathematics and suggest that Weyl’s indecisive acts are symptomatic of profound intrapersonal deliberations. By considering how normative transitions occur in general, and more specifically, by concentrating on the process of exposure to external criticism that is both normative and self-directed, the following sections of this paper seek to shed a different light on Weyl’s innate motivations and hesitant stances.

3. Towards a philosophical approach to normative transitions

The question of how someone can rationally deem his own standards of propriety to be normatively improper in a rational manner has puzzled Menachem Fisch for decades. In his recent works (Fisch Reference Fisch2017; Fisch and Benbaji Reference Fisch and Benbaji2011), Fisch has proposed a theory about the possibility of rationally changing our normative commitments, in which he claims that by intrasubjective deliberations alone we are unable to reach the self-critical lines and cannot rationally change our standards. However, and here lies the novelty of his argument, exposure to the echo chambers of normative criticism coming from outside, from people who are committed to different frameworks, can have a destabilizing impact. Or, to use Fisch’s expression, it can “ambivalate” (Fisch Reference Fisch2010, 530, 533).

Fisch has observed that practitioners of standing are liable, when normatively ambivalated, to produce curiously split and hybrid accounts of the foundations of their field in an attempt to breed a newly found undecidedness. Examples for Fisch’s theory are the stories of Tycho Brahe’s grafting of a heliocentric planetary system on a basically geocentric cosmology, Galileo’s theory of free fall and projectile motion, as well as George Peacock’s two-fold account on algebra. Even though the mature works of Brahe, Galileo, and Peacock are confident presentations of the positions to which they were fully committed, it is their halfway positions and intermediary frameworks (often unpublished and thus concealed from the public eye) that paved their paths. The fact that Tycho, Galileo, and Peacock were able to form and maintain such halfway positions, negotiating between the prevailing theory on the one hand and their new ideas on the other, shows that they had become sufficiently ambivalent towards their own normative frameworks (Fisch and Benbaji Reference Fisch and Benbaji2011, 295–96).

Fisch’s concept of ambivalence refers to a delicate moment in the history of scientific transformations, a moment that can be easily overlooked or dismissed as mere confusion or indecision when analyzed without proper attention. He writes:

What makes such figures indispensable to the deeply transformative moments in which they partook, and, hence, to the latter-day historian, is the way their initial ambivalence was captured in their Solomonic attempts to split their subject matter in the hybrid manner described. Carefully analyzed, pried apart at their (usually) rough seams, and properly reenacted, such doubles and splits offer historians much toward recapitulating the destabilized mindset of their authors. But only if read and analyzed prospectively, as history is lived and should be studied, as acts of anxious and urgent engagement, rather than retrospectively, as mere intermediate stations between one stable framework and the next; as fossilized normative dilemmas, as it were, preserving for posterity frozen, ossified snapshots of tortured, creative indecision. For they are too often written off as unimaginative first tries, or as the work of confused reactionary rearguarding. (Fisch Reference Fisch2010, 536–37)

Notably important is the difference between ambivalence and persuasion. To render someone ambivalent towards one or more of his or her normative standards does not necessarily mean to convince that person of their unseemliness. Practitioners can become ambivalent towards a theory without being convinced that the prevailing theory is improper. Once exposed to the normative criticism of others, the stage of ambivalence can last months, years, or even a lifetime, during which practitioners are on the lookout for new alternatives without dismissing the old ones. Moreover, ambivalated practitioners often feel torn between the two stances, since “normative ambivalence amounts to being of two minds with respect to certain elements of one’s normative framework; a form of indecisive dithering with respect to those elements,” while “to the remainder of their framework … such ‘ambivalated’ individuals remain wholeheartedly committed” (Fisch Reference Fisch2010, 537).

Fisch’s model of normative transformations introduces two insights about the concept of “becoming ambivalent” that are of significance to Weyl’s story:

  1. (1) Ambivalence can sometimes be misinterpreted as indecision or confusion.

  2. (2) Ambivalence does not necessarily imply abandonment of old commitments, nor a complete acceptance of new ones.

The story so far gives rise to the question of how practitioners might deal with their own ambivalence. Do they attempt to settle their indecision by turning their back on one of the theories they are torn between? Must the ambivalence be eventually resolved, or can one self-deliberate with one’s own indecision throughout one’s life? The following section will examine how Weyl addressed his own ambivalence, as well as how mathematicians, philosophers, and historians of mathematics viewed it.

4. Ambivalated from within: How did Weyl deal with his own ambivalence?

Weyl’s changing views about the foundations of mathematics were shaped, to a large extent, by his exposure to the echo chambers of several practitioners and groups of mathematicians. The French semi-intuitionists’ criticism of Cantor’s set theory and Zermelo’s axiom of choice (Hesseling Reference Hesseling2003; Moore Reference Moore1982) influenced Weyl’s foundational viewpoint, as can be seen both in Weyl’s Reference Weyl1910 paper on the definition of fundamental mathematical concepts (namely, definable relations) and in Das Kontinuum (Feferman Reference Feferman1998). In the 1918 preface to Das Kontinuum, Weyl describes his then-promising halfway solution: a constructive approach to the foundations of mathematics that will avoid the “vicious circle” of Russell’s paradoxes and Cantor’s set theory and its dangerous implications. He wrote:

It is not the purpose of this work to cover the “firm rock” on which the house of analysis is founded with a fake wooden structure of formalism – a structure which can fool the reader and, ultimately, the author into believing that it is the true foundation. Rather, I shall show that this house is to a large degree built on sand. I believe that I can replace this shifting foundation with pillars of enduring strength. They will not, however, support everything which today is generally considered to be securely grounded. I give up the rest, since I see no other possibility. (Weyl Reference Weyl, Pollard and Bole1918, 1)

Even though Weyl was not a professional philosopher, he was attracted to idealist philosophy, and the latter played a significant role in his foundational thought. When Weyl was a student of mathematics in Gottingen, he attended lectures by Husserl, and during his Zurich years, he was introduced to Fichte’s philosophical views, largely due to the encouragement of his friend and colleague, Fritz Medicus, who was also a professor of idealist philosophy at ETH (Scholz Reference Scholz2004; Sieroka Reference Sieroka2007, Reference Sieroka2009). The influence of both Husserl and Fichte on Weyl is felt in Das Kontinuum, as Weyl specifically addresses Husserl’s philosophical stance in the book’s preface:

Although this is primarily a mathematical treatise, I did not avoid philosophical questions and did not attempt to dispose of them by means of that crude and superficial amalgamation of empiricism and formalism which still enjoys considerable prestige among mathematicians (even though it is attacked with gratifying clarity in Frege[’s Grrmdgmtzt der Arithmetik]). Concerning the epistemological side of logic, I agree with the conceptions which underlie Husserl[’s Logical Investigations]. The reader should also consult the deepened presentation in Husserl[’s Ideas: General Introduction to Pure Phenomenology] which places the logical within the framework of a comprehensive philosophy. Our examination of the continuum problem contributes to critical epistemology’s investigation into the relations between what is immediately (intuitively) given and the formal (mathematical) concepts through which we seek to construct the given in geometry and physics. (Weyl Reference Weyl, Pollard and Bole1918, 2)

At the outset of the discussion on judgement and property in the first chapter of Das Kontinuum, Weyl acknowledged the expertise of metaphysical philosophers, such as Fichte, noting it as essential to achieving a clear definition of what judgement is. He wrote: “We cannot set out here in search of a definitive elucidation of what it is to be a state of affairs, a judgment, an object, or a property. This task leads into metaphysical depths. And concerning it one must consult men, such as Fichte, whose names may not be mentioned among mathematicians without eliciting an indulgent smile”Footnote 4 (Weyl Reference Weyl, Pollard and Bole1918, 7).

Much like his foundational stances, Weyl’s philosophical views were also subject to changes. In a lecture delivered in 1954 titled “Insight and Reflection,” Weyl portrayed his long philosophical voyage that had begun with Kant, moved on to idealist phenomenology, and ended with Weyl’s recognition that the latter entails several problematic aspects (Weyl Reference Weyl, Saaty and Weyl1955). Considering these issues, Weyl modified his philosophical approach, which became closer to Cassirer in some aspects, and in other aspects to theologists such as Meister Eckhart (Bell Reference Bell and Richard2004).Footnote 5 According to Erhard Scholz, even the deep influence of Fichte’s ideas on Weyl’s thoughts faded over the years, and Weyl’s late reflections indicate that he became closer to Heidegger’s existentialist or Gonseth’s dialectical philosophies in the late 1940s (Scholz Reference Scholz2004).

Henri Poincare also played a significant role in forming Weyl’s foundational as well as philosophical viewpoint. The impact of Poincare’s philosophy of mathematics, specifically his position regarding impredicative definitions and the concept of existence and potential infinity (Poincare Reference Poincare1963), is present in Weyl’s Reference Weyl, Pollard and Bole1918 works. Solomon Feferman argues that in Das Kontinuum, Weyl accepted a significant part of Poincare’s definitionist philosophy, including Poincare’s conception of the natural number and the idea that there are no completed infinite totalities (Feferman Reference Feferman1998, Reference Feferman and Hendricks2000). According to Richard Feist’s reading of Weyl’s Das Kontinuum and Space-Time-Matter, Poincare’s predicativist philosophy led Weyl to modify Husserl’s semantics and ontology; concerning the concept of the natural number, Feist describes Weyl’s definition of it as an amalgam between Poincare’s view and Husserl’s approach (Feist Reference Feist2002).

Two years after the appearance of Das Kontinuum and Space-Time-Matter, the publication of “On the new foundational crisis in mathematics” (1921) suggested that yet another mathematician had shaped Weyl’s thought. Weyl was familiar with Brouwer’s topological work, at least from the early 1910s, as he referred to Brouwer’s “fundamental papers on topology” from 1909 in his paper on Riemann surfaces from 1913 (van Dalen Reference van Dalen2013). There is historical evidence that the two met in 1912, during Brouwer’s visit in Gottingen, but it remains unclear whether they discussed foundational issues at that time.Footnote 6

Weyl’s exposure to the echo chambers of Brouwer’s normative criticism of the foundations of mathematics dates back to 1919, when the two met for the second time during a summer vacation in Engadin, and Weyl heard the story of Brouwer’s intuitionism firsthand (van Dalen Reference van Dalen1995, Reference van Dalen2013; Hesseling Reference Hesseling2003). Deeply influenced by Brouwer’s ideas, Weyl wrote the most advocative paper of Brouwer’s intuitionistic program, “On the New Foundational Crisis in Mathematics” (Weyl Reference Weyl and Mancosu1921), which displayed a considerable deviation from the formalist framework to which Weyl had been firmly committed, as well as from the constructive approach Weyl embraced in Das Kontinuum, as an attempt to solve the difficulties Brouwer had raised.

In the 1932 preface to Das Kontinuum, Weyl’s difficulty in properly addressing the foundational problem prevails, but he is less optimistic about the ability of constructive or intuitionistic methods to solve the conundrum. As he puts it:

The point of view adopted in this monograph continues to strike me as a natural transitional stage in the development of foundational research. However, in the period since its appearance, my work has been superseded by two trends identified by the catchwords Intuitionism and Formalism. Still, this deeper grounding of the foundation has not led to an even moderately satisfying or defensible conclusion; things remain in a state of flux. … It would not be possible, without radical rebuilding, to bring the content of this monograph into harmony with my current beliefs. (Weyl Reference Weyl, Pollard and Bole1918, 2–3)

The indecisive nature of Weyl’s foundational perspective remains omnipresent in his later writings, as observed in his 1946 review paper, where he maintains his skepticism about our ability to confidently build up mathematics from solid foundations. Thus:

This history should make one thing clear: we are less certain than ever about the ultimate foundations of (logic and) mathematics, like everybody and everything in the world today, we have our “crisis.” We have had it for nearly fifty years. Outwardly it does not seem to hamper our daily work, and yet I for one confess that it has had a considerable practical influence on my mathematical life: it directed my interests to fields I considered relatively “safe,” and it has been a constant drain on the enthusiasm and determination with which I pursued my research work. The experience is probably shared by other mathematicians who are not indifferent to what their scientific endeavors mean in the context of man’s whole caring and knowing, suffering and creative existence in the world. (Weyl Reference Weyl1946, 11)

Moreover, Weyl’s inclination towards constructive methods for rebuilding the foundations of mathematics did not disappear entirely over the years, as can be observed in one of his last papers “Axiomatic and Constructive Procedures in Mathematics,” written in 1954. In it, he writes that “the constructive transition to the continuum of real numbers is a serious affair… and I am bold enough to say that not even to this day are the logical issues involved in that constructive concept completely clarified and settled” (Weyl Reference Weyl1954, 17).

These citations from Weyl’s scattered works share a commonality: each embodies some aspect of self-reflection about his own shifting stances up to that point. In his 1932 note, he acknowledged that a comprehensive endeavor is required in order to build a bridge between his old beliefs (presented in 1918) and his new ones. In 1946, he confessed that his uncertainty had influenced his own scientific interests; and in 1954, he referred to himself as “bold enough,” since it requires fortitude to maintain an undecided position after so many years, and to still remain unsure. These are the words of a self-conscious man who, as a practitioner in a scientific community, is fully aware of his undecidedness and its problematic aspects. The frequent changes in Weyl’s mathematical views mark the trail he blazed in his fifty-year-long process of becoming ambivalent, living with his indecision, and attempting to resolve it.

5. Confused from without: How do practitioners in the scientific community deal with Weyl’s ambivalence?

Mathematicians, philosophers, and historians of mathematics have tried to account for Weyl’s wavering foundational stances over the years. Solomon Feferman saw in Weyl’s Das Kontinuum a “substantial advance in the predicativist program” (Feferman Reference Feferman1988, 16). He ascribed to Weyl a predicativist position, which was largely derived from Weyl’s criticism against the set-theoretical approach (that involved vicious circles), as well as his views about the irreducibility of the concept of the natural number and the necessity of explicit definitions for mathematical concepts such as sets and functions (Feferman Reference Feferman1998). Even though Weyl repudiated his ideas from Das Kontinuum in favor of Brouwer’s intuitionistic ideas only two years later, Feferman maintained that Weyl continued to regard the predicative approach as being of genuine value and that he “never really gave up the achievements of his 1918 monograph” (Feferman Reference Feferman and Hendricks2000, 181).

Norman Sieroka connects the shifts in Weyl’s foundational stances with the developments in his philosophical thought: Weyl’s objection to reducing mathematics to logic and set theory in Das Kontinuum was based in his reliance on both Fichte and Husserl, but during the 1920s he distinguished between the two, connecting Husserl’s phenomenology to Brouwer’s intuitionism and Fichte’s constructivism to formalism. After a brief affiliation with the “intuitionistic-phenomenological” approach, from 1925, Weyl came to believe that Fichte’s “formalistic-constructivist” approach “was on the right track” (Sieroka Reference Sieroka2009, 90). Sieroka finds analogues between Weyl’s interdisciplinary lines of thought (mathematics, physics, and theory of subjectivity) and suggests that his analysis of Weyl’s “interdisciplinary intellectual neighborhoods” set the ground for “a more systematic elaboration of the role of transformations and invariances in the context of historiographical issues” (Sieroka Reference Sieroka, Bernard and Lobo2019, 120).

Biographical notes about Weyl written by mathematicians often dismiss his intuitionistic deliberations or ascribe them to his philosophical interests, which they consider to be entirely separate from his mathematical work. Michael Atiyah’s short essay, for instance, analyzes Weyl’s contributions to group theory and quantum mechanics while overtly ignoring his engagement with intuitionism and constructivism, and his ongoing ambivalence towards the foundational crisis (Atiyah Reference Atiyah2003). Max Newman dedicated a section he called “mathematical logic” to Weyl’s intuitionistic contemplations, but his piece ends with a functional tone regarding Weyl’s turn to intuitionism, as if Weyl’s only motivation was to make Brouwer’s mathematics accessible to other practitioners (Newman Reference Newman1957, 323).

On the other hand, Dirk van Dalen claims that Weyl’s commitment to intuitionism was not a mere infatuation or transitional stage. Throughout his paper on Weyl’s intuitionistic mathematics, van Dalen portrays Weyl as a life-long admirer of Brouwer’s foundational approach, who could never quite break with his earlier intuitionistic past (van Dalen Reference van Dalen1995). According to van Dalen, the story of Weyl and Brouwer ends with their Zurich meeting, not long before Weyl died, where Weyl remarked sadly: “Brouwer, everything is unsteady again.”Footnote 7 John Bell tells a similar story of Weyl’s lasting fascination with intuitionism, specifically with the notion of the mathematical continuum (Bell Reference Bell2000).

Erhard Scholz ascribes “historical rationality” to the moves of Hermann Weyl by taking a “non-systematic” perspective that attempts to elucidate Weyl’s changes of mind (Scholz Reference Scholz and Hendricks2000). Scholz describes Weyl’s inclination towards intuitionism as rooted in his philosophical considerations, which were deeply influenced by Fichte’s approach to the concept of continuum and space. Even though the connection Weyl saw between intuitionism and the established structures of purely infinitesimal geometry may never exist outside his mind, Scholz maintains that “Illusions have often been historical driving forces, and if such closeness may be considered in retrospect as an illusion, we nevertheless have to take it into account, if we want to understand how Weyl became a protagonist in the spread of intuitionistic analysis” (Scholz Reference Scholz and Hendricks2000, 5). Scholz’s attempt to take into account Weyl’s inner “Besinnung” (translated as “reflection” or “contemplation”, see: Scholz Reference Scholz2004, 14) as part of his motivation to consider different foundational ideas is a perspective that I wish to expand upon using Fisch’s concept of ambivalence.

The retelling of Weyl’s story in light of Fisch’s notion of ambivalence suggests a view that enhances Bell’s, van Dalen’s, and Scholz’s readings; it adds to their interpretations a deeper philosophical aspect that is currently missing from their accounts and should not be overlooked if one wants to gain a better understating of Weyl’s shifting positions. Weyl’s ambivalence regarding the foundations of mathematics is a continuous thread that is woven into his writings throughout his life. Thus, his motivation for changing his mind and the roots of his indecision play a significant role within the contours of the whole story.

When Weyl’s undecidedness is addressed as ambivalence in a Fischian manner, the rationale behind his constant change of mind unravels. As a practitioner who had been exposed to external criticism (not only in the form of Brouwer’s intuitionism, but also through the works of philosophers and mathematicians such as Kant, Fichte, Husserl, Poincare, the French intuitionists, and from 1927 Hilbert again), Weyl found himself engaged in normative self-critical deliberations not only about whether mathematics can be built upon intuitionistic, constructive, or formalistic foundations, but also about what it means to be an intuitionist, a formalist, or a constructivist.

Developments in Brouwer’s intuitionism and Hilbert’s formalism-finitism also contributed to Weyl’s foundational considerations. Neither theory remained stagnant over the years. Brouwer’s intuitionistic views changed as he went from addressing the intuition of the continuum as an unanalyzable entity (Brouwer Reference Brouwer1907) to introducing new concepts such as spreads and choice sequences in order to show how points on the continuum are identified with specific choice sequences (van Atten Reference van Atten2017; Brouwer Reference Brouwer1918). A later development in Brouwer’s intuitionism occurred when his proof of fan theorem appeared in 1924, followed by the introduction of continuity theorem dealing with intuitionistic continuous functions (Brouwer Reference Brouwer and van Heijenoort1924, Reference Brouwer and van Heijenoort1927).

Hilbert’s views on the foundations of analysis also transformed during the first decades of the twentieth century (Corry Reference Corry2004), particularly his perspective regarding the logical basis required for rebuilding the foundations of mathematics. Hilbert’s quest for consistency proof in the early 1900s led him to abandon Dedekind’s logicism (Ferreirós Reference Ferreirós2009) and turn to Schröder’s conception of logic, even though it was not particularly suitable for Hilbert’s formalistic purposes (Zach Reference Zach2019). In 1914, a few years after the publication of Russell and Whitehead’s Principia Mathematica, Hilbert became intensely involved with this work. He believed that the point of view developed there could lead to laying down the necessary logical foundations for his axiomatic treatment of mathematics (Mancosu Reference Mancosu1999). Later on, however, he came to realize that other fundamental problems of axiomatics still remained unsolved. Therefore, he devoted the following years (1917-1921) to developing first-order logic and presented his new foundational approach in 1922 as a response to Brouwer’s intuitionism (Hilbert Reference Hilbert and Mancosu1922; Zach Reference Zach and Jacquette2007). Between 1926 and 1928, Hilbert’s program was further developed, as he introduced a distinction between real and ideal formulas, followed by his notions of ideal propositions (Hilbert Reference Hilbert and van Heijenoort1926) and real propositions (Hilbert Reference Hilbert and van Heijenoort1927).

In 1925, as the debate gained increasing attention from practitioners inside and outside the field (Hesseling Reference Hesseling2003), Weyl published a paper in response to Hilbert’s reaction to Brouwer’s intuitionism. Despite the paper’s conciliatory tone, Weyl criticized Hilbert for his intention to “secure not the truth, but the consistency of the old analysis” (Weyl Reference Weyl and Mancosu1925, 136). Brouwer’s intuitionism offered a very substantial and attractive idea of mathematical truth (Dummett Reference Dummett, Rose and Sheperdson1975, Reference Dummett1977), but when Brouwer’s fan theorem proof was published in 1924, it revealed a problematic aspect in the epistemological standards of Brouwer’s intuitionism, threatening the validity and justifiability of the intuitionistic view of mathematical truth (Epple Reference Epple and Hendricks2000). The realization that Brouwer’s intuitionism may not be able to adequately address the notion of mathematical truth as it had promised, alongside the developments in Hilbert’s program (Hilbert Reference Hilbert and van Heijenoort1926; Sieg Reference Sieg1999), might have weakened Weyl’s confidence in Brouwer’s revisionist program and its core concepts, thereby contributing to his feelings of ambivalence.Footnote 8

The feeling of ambivalence in Fisch’s model accounts for more than merely explaining the persistence of practitioners’ hesitant stances or indecisive acts; it primarily motivates for action. Driven by their ambivalence, practitioners are motivated to try and reconcile the stances they are torn between, creating new hybrid solutions. Even though these split accounts often preserve the practitioner’s indecision, they serve to ambivalate leading practitioners within the discipline who attempt, in turn, to formulate less jarring accounts (Fisch Reference Fisch2017).

Within the contours of Weyl’s story, I can point to at least two attempts to formulate similar hybridic solutions: one in Weyl’s Reference Weyl, Pollard and Bole1918 monograph Das Kontinuum and another one three years later in “On the New Foundational Crisis in Mathematics.” In Das Kontinuum Weyl suggested subjecting the epsilon relation to type restriction in order to avoid the paradoxes of set theory, and to restrict the use of quantifiers in the set-theoretic comprehension scheme in order to avoid the vicious circle of impredicative definitions (Weyl Reference Weyl, Pollard and Bole1918). The solution he proposed in “On the New Foundational Crisis in Mathematics” was a more radical one, since here Weyl embraced Brouwer’s choice sequences, completely forfeiting arithmetically definable sequences and the principle of excluded middle. Both attempts were to some extent misread, and even though Das Kontinuum is currently held in high esteem, it took the scientific community almost sixty years to properly read it (van Dalen Reference van Dalen2013).

The question of whether Weyl’s attempts are endowed with the same characteristics of hybridity and potential influence as Peacock’s case of “A Treatise on Algebra” is an intriguing question worth pursuing in a study of its own. Nevertheless, the opportunity to address Weyl’s indecision as ambivalence sheds a different light not only on his hesitant stances, but also on his motivations for developing new solutions to the foundational problem.

Weyl’s frequent changes of heart might also be attributed, at least partially, to a wider historical context of cultural shifts. In his monograph, Plato’s Ghost: The Modernist Transformation of Mathematics, Jeremy Gray portrays a connection between individuals’ works and a broader social perspective on transitions in mathematics. Gray argues that between 1890 and 1930, the whole discipline of mathematics went through a cultural shift that he calls a “modernist transformation,” in which individuals’ works that convey genuine intellectual concerns were promoted by “significant groups of people with the right opportunities” who were able to spread them and thereby contribute to the overall process of cultural change (Gray Reference Gray2008, 5). Cultural and political events such as the First World War also played a substantial role in shaping the mathematical landscape (Gray Reference Gray2008, 406–7).

Even though Gray’s analysis mainly focuses on one direction, namely how individuals’ works affected the process of transition (and not the other way around), it would be shortsighted to dismiss the way cultural and historical changes affected Weyl’s views regarding certain theories, concepts, and ideas. As Dirk van Dalen points out, Weyl himself characterized the tone of his 1921 paper as influenced by “the mood of excited times - the times immediately following the First World War” (van Dalen Reference van Dalen1995, 146). It goes beyond the scope of the current paper to comprehensively characterize the impact of cultural transitions on Weyl’s changes of mind and vice versa, but hopefully the perspective presented here on Weyl’s ambivalence provides fertile ground for further research on this topic.

6. Concluding remarks

Throughout this paper, I have attempted to present an alternative view of Hermann Weyl’s turn to intuitionism. My central argument is that a philosophical perspective of normative framework transitions is fundamentally missing from the current historical accounts of Weyl’s story. Specifically, I claim that the key to understanding Weyl’s undecidedness lies in Menachem Fisch’s notion of ambivalence.

Fisch maintains that we are capable of becoming ambivalent, but not ambivalating ourselves towards our norms. Only a trusted criticism coming from without can change our whole point of view and induce a rational, justified transformation of our normative framework. The process of becoming and being ambivalent has no time restrictions and can last throughout a practitioner’s professional career. Moreover, there is no guarantee that ambivalence must eventually resolve in a clear decisive stance. A practitioner can remain ambivalent during his whole life, and Weyl is a case in point.

Unlike other practitioners, who may have experienced the same difficulties regarding the foundational crisis, Weyl expressed his prolonged search for a solution in his writings, explicitly articulating the problematic aspects of every mathematical theory he had considered. The continued tone of ambivalence present in his papers is not a common phenomenon within the mathematical landscape, and it was often attributed to his philosophical inclinations, which also changed over the years. The philosophical perspective presented in this paper suggests ways of providing a different analysis of Weyl’s continuous undecidedness, taking into consideration the intrasubjective process of changing one’s normative framework. Seen thus, Weyl’s so-called shifting positions should be regarded only as symptoms of a much deeper, convoluted intrapersonal process of self-deliberation, in his attempt to find a solid ground on which mathematics can be built.

Dr. Kati Kish Bar-On studies the intersection between history, philosophy, and sociology of mathematics. She examines the historical and social context in which attempts to transform a working mathematical framework occur, focusing on intuitionism. In particular, she is interested in questions such as how mathematicians operate within the mathematical community, to which standards they are committed, and how they deal with conflicts between their scientific agendas and their obligations to the community norms. Her motivation is to connect the rigid, timeless, firm aspects of mathematics to the dynamic, changing context of the working mathematician’s social, behavioral, and cultural aspects.

Footnotes

1 As Weyl himself stated, “The intuitive continuum and the world of mathematical concepts are so distant from each other that the demand that both coincide has to be rejected as absurd” (Weyl Reference Weyl, Pollard and Bole1918, 83).

2 Weyl presents a formal representation of those numbers in his paper (Weyl Reference Weyl and Mancosu1921, 93), which is not very relevant for the purpose of this argument.

3 Aside from refining the classical-set theoretic picture, Brouwer’s new intuitionistic mathematics also occasionally contradicted classical mathematics, as in its denial that there are any fully defined discontinuous functions (for details see (Posy Reference Posy and Shapiro2005)).

4 According to Norman Sieroka, the mathematician’s “indulgent smile” refers to the fact that Fichte was a gifted philosopher but not quite as good a mathematician (Sieroka Reference Sieroka2009).

5 It should be noted that the developments in Weyl’s philosophical stances have influenced his philosophy of physics as well (Ryckman Reference Ryckman2005; Scholz Reference Scholz and Scholz2001; Sigurdsson Reference Sigurdsson1991). Norman Sieroka argues that some of the ideas Weyl developed in physics, such as the “agens theory” of matter, were influenced by his reading of Fichte and Husserl (Sieroka Reference Sieroka2007), and Christophe Eckes points out that there exists a relation between Weyl’s conception of apriorism and holism and the philosophical views of Husserl and Cassirer (Eckes Reference Eckes2018). Weyl’s ambivalence in regards to the philosophy of physics is an intriguing topic that goes beyond the scope of the current paper, but hopefully will be pursued in further research.

6 There are opposing views in regards to whether Brouwer’s work in topology has roots in his philosophical views on intuitionistic mathematics. Some historians and mathematicians argue that Brouwer’s topological work is utterly separated from his intuitionistic endeavor, while others, such as Arend Heyting and Dirk van Dalen, remain unsure as to the unity or disunity in Brouwer’s work. Jan van Mill and Teun Koetsier claim that the dividing line in Brouwer’s work does not run through topology and intuitionism, but separates his research into pre-1917 and post-1917 works (Koetsier and Van Mill Reference Koetsier and Van Mill1997). They show that there is more that links Brouwer’s intuitionistic work to his topology in the years up to 1917 than separates it, and conclude that Brouwer’s topological work derives naturally from the same basic principles.

7 The original quote appears in (van Dalen Reference van Dalen1995, 166).

8 As can be read from Sieg’s citation of Hilbert from 1923, Hilbert stated that the consistency problem is “no longer a question of proving that a system of infinitely many things is logically possible, but only of recognizing that it is impossible to derive a pair of formulas like A and ∼A from the axioms extant in the formulas according to the rules of the logical calculus” (Sieg Reference Sieg1999, 40). Otherwise stated, Hilbert no longer searched for a proof of the logical possibility of an axiomatic system, but rather for a formal proof that an axiomatic system is non-contradicting. Moreover, it shows that Hilbert did not regard consistency proofs as indicating anything about mathematical existence, a view that coincides with the intuitionistic approach to consistency.

References

Atiyah, Michael. 2003. “Hermann Weyl.” Biographical Memoirs 82:320335.Google Scholar
Beisswanger, Peter. 1965. “The Phases in Hermann Weyl’s Assessment of Mathematics.” Mathematic-Physical Semester Reports 12:132156.Google Scholar
Bell, John. 2000. “Hermann Weyl on Intuition and the Continuum.” Philosophia Mathematica 3 (8):259273.CrossRefGoogle Scholar
Bell, John. 2004. “Hermann Weyl’s Later Philosophical Views: His Divergence from Husserl.” In Husserl and the Sciences: Selected Perspectives, edited by Richard, Feist, 173–86. Ottawa, ON Canada: University of Ottawa Press.Google Scholar
Bell, John, and Korté, Herbert. 2015. “Hermann Weyl.” The Stanford Encyclopedia of Philosophy https://plato.stanford.edu/archives/win2016/entries/weyl/ (last accessed June 20, 2019).Google Scholar
Brouwer, Luitzen Egbertus Jan. 1907. Over de Grondslagen der Wiskunde. Amsterdam: Maas & Van Suchtelen.Google Scholar
Brouwer, Luitzen Egbertus Jan. 1912. “Intuitionism and Formalism.” In L.E.J Brouwer Collected Works I – Philosophy and Foundations of Mathematics, edited by Heyting, Arend, 123138. Amsterdam: North-Holland.Google Scholar
Brouwer, Luitzen Egbertus Jan. 1918. “Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Allgemeine Mengenlehre.” KNAW Verhandelingen 5:143.Google Scholar
Brouwer, Luitzen Egbertus Jan. [1924] 1967. “Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie.” In From Frege to Gödel. A Sourcebook in Mathematical Logic, 1879–1931, edited by van Heijenoort, Jean, 335341. Cambridge: Harvard University Press.Google Scholar
Brouwer, Luitzen Egbertus Jan. 1927. “Über Definitionsbereiche von Funktionen.” In From Frege to Gödel. A Sourcebook in Mathematical Logic, 1879–1931, edited by van Heijenoort, Jean, 457463. Cambridge: Harvard University Press.Google Scholar
Corry, Leo. 2004. David Hilbert and the Axiomatization of Physics (1898–1918) From Grundlagen der Geometrie to Grundlagen der Physik. London: Springer Verlag.Google Scholar
Dummett, Michael. 1975. “The Philosophical Basis of Intuitionistic Logic.” In Logic Colloquium 73’, edited by Rose, H. E. and Sheperdson, J. C., 540. Amsterdam: North-Holland.Google Scholar
Dummett, Michael. 1977. Elements of Intuitionism. Oxford: Clarendon Press.Google Scholar
Eckes, Christophe. 2018. “Weyl’s Philosophy of Physics: From Apriorism to Holism (1918-1927).” Philosophia Scientiae 22 (2): 163–84.CrossRefGoogle Scholar
Epple, Moritz. 2000. “Did Brouwer’s Intuitionistic Analysis Satisfy its Own Epistemological Standards?”. In Proof Theory: History and Philosophical Significance, edited by Hendricks, Vincent et al., 153178. Dordrecht: Kluwer.CrossRefGoogle Scholar
Feist, Richard. 2002. “Weyl’s Appropriation of Husserl’s and Poincaré’s Thought.” Synthese 132 (3):273301.CrossRefGoogle Scholar
Feferman, Solomon. 1988. “The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.” Doi: https://pdfs.semanticscholar.org/5a3a/112929a5a2a1f1fec4447cc584628918c0fb.pdf Google Scholar
Feferman, Solomon. 1998. In the Light of Logic. New York: Oxford University Press.Google Scholar
Feferman, Solomon. 2000. “The Significance of Weyl’s Das Kontinuum.” In Proof Theory: History and Philosophical Significance, edited by Hendricks, Vincent et al., 179194. Dordrecht: Kluwer.Google Scholar
Ferreirós, Jose. 2009. “Hilbert, Logicism, and Mathematical Existence.” Synthese 170 (1):3370.CrossRefGoogle Scholar
Fisch, Menachem. 2010. “Towards a History and Philosophy of Scientific Agency.” The Monist 93 (4):518544.CrossRefGoogle Scholar
Fisch, Menachem. 2017. Creatively Undecided: Toward a History and Philosophy of Scientific Agency. Chicago: University of Chicago Press.Google Scholar
Fisch, Menachem and Benbaji, Yitzhak. 2011. The View from Within: Normativity and the Limits of Self-Criticism. Notre Dame: University of Notre Dame Press.Google Scholar
Gray, Jeremy. 2008. Plato’s Ghost: The Modernist Transformation of Mathematics. Princeton: Princeton University Press.CrossRefGoogle Scholar
Hesseling, Dennis. 2003. Gnomes in the Fog: The Reception of Brouwer’s Intuitionism in the 1920s. Basel, Boston, Berlin: Birkhuser Verlag.Google Scholar
Hilbert, David. [1922] 1998. “Neubegründung der Mathematik: Erste Mitteilung.” In From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, edited by Mancosu, Paolo, 149188. Oxford: Oxford University Press.Google Scholar
Hilbert, David. [1926] 1967. “Über das Unendliche.” In From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879–1931, edited by van Heijenoort, Jean, 367392. Cambridge: Harvard University Press.Google Scholar
Hilbert, David. [1927] 1967. “The Foundations of Mathematics.” In From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879–1931, edited by van Heijenoort, Jean, 464479. Cambridge: Harvard University Press.Google Scholar
Hilbert, David. [1928] 1967. “Die Grundlagen der Mathematik.” In From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879–1931, edited by van Heijenoort, Jean, 464479. Cambridge: Harvard University Press.Google Scholar
Koetsier, Teun and Van Mill, Jan. 1997. “General Topology, in Particular Dimension Theory, in the Netherlands: The Decisive Influence of Brouwer’s Intuitionism.” In Handbook of the History of General Topology, edited by Aull and Lowen, 135-180.Google Scholar
Mancosu, Paolo. 1999. “Between Russell and Hilbert: Behmann on the Foundations of Mathematics.” The Bulletin of Symbolic Logic 5 (3):303330.CrossRefGoogle Scholar
Mancosu, Paolo and Ryckman, Thomas. 2002. “Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl.” Philosophia Mathematica 10 (2):130202.Google Scholar
Mannoury, Gerrit. 1909. Methodologisches und Philosophisches zur ElementarMathematik. Haarlem: P. Visser Azn.Google Scholar
Moore, Gregory. 1982. “Zermelo’s Axiom of Choice: Its Origins, Development, and Influence.” Studies in the History of Mathematics and Physical Sciences, vol. 8. Springer-Verlag, New York, Heidelberg, and Berlin.Google Scholar
Newman, Max. 1957. “Hermann Weyl, 1885-1955.” Biographical Memoirs of Fellows of the Royal Society 3:305328.Google Scholar
Poincare, Henri. 1963. Mathematics and Science: Last essays. Dover Press, New York.Google Scholar
Posy, Carl. 2005. “Intuitionism and Philosophy.” In The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Shapiro, Stewart, 319355. Oxford: Oxford University Press.Google Scholar
Rosello, Joan. 2012. From Foundations to Philosophy of Mathematics: An Historical Account of Their Development in the XX Century and Beyond. Cambridge: Cambridge Scholars Publishing.Google Scholar
Ryckman, Thomas. 2005. The Reign of Relativity: Philosophy in Physics 1915-1925. Oxford: Oxford University Press.CrossRefGoogle Scholar
Scholz, Erhard. 2000. “Herman Weyl on the Concept of Continuum.” In Proof Theory: History and Philosophical Significance, edited by Hendricks, Vincent et al., 195220. Dordrecht: Kluwer.CrossRefGoogle Scholar
Scholz, Erhard. 2001. “Weyl’s Infinitesimalgeometrie 1917–1925.” In Hermann Weyl’s “Raum-Zeit-Materie” and a General Introduction to His Scientific Work, edited by Scholz, Erhard, 48104. Basel: Birkhäuser.CrossRefGoogle Scholar
Scholz, Erhard. 2004. “Philosophy as a Cultural Resource and Medium of Reflection for Hermann Weyl.” https://arxiv.org/abs/math/0409596 (last accessed May 15, 2019).Google Scholar
Sieg, Wilfried. 1999. “Hilbert’s Programs: 1917-1922.” The Bulletin of Symbolic Logic 5:144.Google Scholar
Sieroka, Norman. 2007. “Weyl’s ‘Agens Theory’ of Matter and the Zurich Fichte.” Studies in History and Philosophy of Science Part A 38 (1):84107.Google Scholar
Sieroka, Norman. 2009. “Husserlian and Fichtean Leanings: Weyl on Logicism, Intuitionism, and Formalism.” Philosophia Scientiae 13 (2):8596.Google Scholar
Sieroka, Norman. 2019. “Neighbourhoods and Intersubjectivity: Analogies Between Weyl’s Analyses of the Continuum and Transcendental-Phenomenological Theories of Subjectivity.” In Weyl and the Problem of Space: From Science to Philosophy, edited by Bernard, Julien and Lobo, Carlos, 98122. Springer, Switzerland .Google Scholar
Sigurdsson, Skúli. 1991. “Hermann Weyl, Mathematics and Physics, 1900–1927.” PhD Thesis, Harvard University, Department of the History of Science.Google Scholar
van Atten, Mark. 2017. “Luitzen Egbertus Jan Brouwer.” The Stanford Encyclopedia of Philosophy https://plato.stanford.edu/archives/win2017/entries/brouwer/ (last accessed July 1st, 2019).Google Scholar
van Dalen, Dirk. 1995. “Hermann Weyl’s Intuitionistic Mathematics.” The Bulletin of Symbolic Logic, 1 (2):145169.Google Scholar
van Dalen, Dirk. 1999. Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume I: The Dawning Revolution. Oxford: Clarendon Press.Google Scholar
van Dalen, Dirk. 2013. L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life. London: Springer-Verlag.Google Scholar
van Stigt, Walter. 1990. Studies in the History and Philosophy of Mathematics: Brouwer’s Intuitionism. Amsterdam: North-Holland.Google Scholar
Weyl, Hermann. 1910. “Über die Definitionen der Mathematischen Grundbegriffe.” Mathematisch-naturwissenschaftliche Blätter. 7:9395.Google Scholar
Weyl, Hermann. 1913. Die Idee der Riemannschen Fläche. Leipzig: Benedictus Gotthelf Teubner.Google Scholar
Weyl, Hermann. 1918. The Continuum: A Critical Examination of the Foundation of Analysis. Translated by Pollard, Stephen and Bole, Thomas, New York: Thomas Jefferson University Press).Google Scholar
Weyl, Hermann. [1918] 1952. Space-Time-Matter. New York: Dover.Google Scholar
Weyl, Hermann. 1921. “On the New Foundational Crisis in Mathematics.” In From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, edited by Mancosu, Paolo, 86118. Oxford: Oxford University Press.Google Scholar
Weyl, Hermann. 1925. “The Current Epistemological Situation in Mathematics.” In From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, edited by Mancosu, Paolo, 123142. Oxford: Oxford University Press.Google Scholar
Weyl, Hermann. 1940. “The Mathematical Way of Thinking.” Science 92 (2394):437446.CrossRefGoogle ScholarPubMed
Weyl, Hermann. 1946. “Mathematics and Logic.” American Mathematical Monthly 53:213.Google Scholar
Weyl, Hermann. 1949. Philosophy of Mathematics and Natural Science. Princeton: Princeton University Press.Google Scholar
Weyl, Hermann. 1951. “A Half-Century of Mathematics.” The American Mathematical Monthly 58 (8):523553.CrossRefGoogle Scholar
Weyl, Hermann. 1953. “Über den Symbolismus der Mathematik und mathematischen Physik.” Stadium General 6:219228.Google Scholar
Weyl, Hermann. [1954] 1985. “Axiomatic versus Constructive Procedures in Mathematics.” Mathematical Intelligencer 7 (4):1038.Google Scholar
Weyl, Hermann. 1955. “Insight and Reflection.” In The Spirit and Uses of the Mathematical Sciences, edited by Saaty, Thomas and Weyl, Joachim, 281301. New York, McGraw-Hill.Google Scholar
Weyl, Hermann. 1956. Selecta Hermann Weyl. Edited by Reuben Lewis Goodstein. Basel: Birkhäuser.Google Scholar
Zach, Richard. 2007. “Hilbert’s Program Then and Now.” In Philosophy of Logic, edited by Jacquette, Dale, 411447. Amsterdam: North Holland.CrossRefGoogle Scholar
Zach, Richard. 2019 “Hilbert’s Program.” The Stanford Encyclopedia of Philosophy https://plato.stanford.edu/archives/sum2019/entries/hilbert-program/ (last accessed June 30, 2019).Google Scholar