3. Intuitionistic Mathematics
The framework that is supposed to facilitate this advancement is intuitionistic mathematics, which, as Gisin puts it, “allows one to re-enchant physics, introducing a model of an objective “creative” time, i.e. a dynamical time that allows for an open future and the passage of time” (2021, 13349).
The hallmark of intuitionism is that, in contrast with realism/platonism, which takes mathematical entities to be outside of time and immutable, the objects of intuitionistic mathematics evolve as time passes. Intuitionism seems to have the openness of the future built into it: at any given moment the domain of mathematical objects consists only of what has hitherto been constructed, with more to be added as time goes on. The openness of the future consists in the fact that, at present, there is no fact of the matter as to what will be added. Formally, the law of excluded middle (henceforth, LEM) does not apply to propositions describing these future elements.
Brouwer’s choice sequences are a quintessence of the constructivist, indeterminate understanding of mathematical objects. Here’s Posy’s description of them:
A choice sequence, σ, is given by a preset finite initial segment, (1), ...., (k), together with a rule that, given (1), ...., (k), determines the range of possible values for (k+1) and onward. The rule might allow but a single value of (k+1) for each k. That’s an algorithm. But it might very well allow a broad collection of possible values. Given (1), ...., (k), the set of available values of (k+1) will be fully calculable (2020, 27).
Indeterminacy enters the picture with the fact that before a “creating subject” makes the choice, it is not determined which of all possible values for the next element of the sequence will actually become the sequence’s continuation
4. It is worth noting the striking resemblance this bears to the standard understanding of quantum mechanics, in which the wave function represents all possible outcomes of a future measurement, but, prior to the measurement, there is no fact of the matter as to which result will actually be obtained. That is determined only when the measurement, the parallel of the choice made by a “creating subject”, is made.
Intuitionistic mathematics, then, appears to be genuinely temporal, with an open, indeterminate future figuring among its constitutive elements. It is exactly the kind of mathematics, which, if rendered adequate for physics, would emancipate physics from determinism and from its timelessness.
Alas, the hope for temporalizing physics in this manner is short lived. As an evolving system that develops over time, intuitionistic math is indeed temporal, but only in a limited manner. To see what this means, let us begin by noting that intuitionism can, without omission of any content, be formulated tenselessly, that is, it can be fully articulated with no use of the word „future”, and so with no reference to the future’s openness.
As just noted, choice sequences are the embodiments of constructions in time. At some initial moment t0 the sequence begins with a preset segment, and then, with time, it grows: at t1 an element s1 is added, at t2 another element s2, s3 at t3, and so on. At t1 it is undetermined which of all possible values for s2 will in fact be chosen, that is, at t1 the law of excluded middle does not apply to the proposition „s2 is Ω” (Ω being a member of the set of values s2 can assume). Hence the indeterminism. But, notice that in this formulation there is no mention of the future. Sure, we can say that at t1 the later moment t2 is future. We can say that the sequence “grows” as time passes. But these appeals to tense and passage are just a manner of speaking. They add nothing to what has already been stated in a tenseless language.
A comparison with the tenseless analysis of motion can help clarify how in this case the employment of tensed language only covers up the fact that the thesis being put forth is tenseless through-and-through. Eternalists do not deny the reality of motion, that, for example, there are busses that travel from Boston to NY. But for eternalists that only means that, focusing on some particular bus, at t1 the bus is in Boston, at a later time t2 it is in Harford, etc, until finally at tk it is in NY. In this analysis of motion (known as Cambridge, or, sometimes, Russell motion) there is no passage, no past, present or future. It is important to note that eternalists do not shun tensed language – it is standard linguistic practice, when the bus is in Hartford, to say that it will get to NY in three hours. The so-called “New B-theory” was devised precisely for the purpose of reconciling eternalism with the fact that the tenses are not removable from language and are not dispensable. The point is, however, that that’s where the tenses are found – in language and psychology, not in the world.
Intuitionism works with the exact same tenseless conception of change and evolution. That the tenses are used while laying it out does not mean they have a role in it. Intuitionists can avow their conviction that mathematical structures develop with time, and make reference to time’s passage, but these uses of tense are optional addons that can be dispensed with, and which do not render intuitionism tensed any more than the employment of tense by eternalists (“the bus will reach its destination in one hour”) makes their theory of motion tensed. For intuitionism to be tensed the tenses have to be indispensable to it, to be irremovable from its propositions, which they are not. To the contrary, the now is absent, and cannot be inserted, into it. We know what the state of things is now, e.g., where the bus is now, or how many digits in the decimal expansion of π are currently known. But theories can only tell us how things stand at a given moment t; they cannot tell us whether t is present, or past or future. What time it is now, today’s date, is not information that we can glean from, or insert into, any theory.
Posy states that intuitionism’s temporality is deeply tensed and therefore nondeterministic: „Ips’s [infinitely proceeding sequence, such as choice sequences] show this. Grasping an ips α is the paradigm temporal experience, a clear sense of past, present and future. a’s fixed initial segment is the clear past. The information we have at (the moment of grasp) defines the present. And the rule for choosing α’s further elements is what we can say of the future. And that future is palpably indeterminate: the rule need not be an algorithm” (2020, 81).
But far from establishing intuitionism’s temporality, what this passage offers is a glowing instance of how a superficial glaze of tensed vocabulary can create the illusion that a theory is tensed while in truth it is thoroughly tenseless. Just note how readily this passage can be rephrased so that no mention is made of the past, present or future. All the passage says is that grasping an ips α at a given moment t consists of grasping an initial segment which is already fixed before t, as well as information added at t, and a rule for choosing α’s further elements at subsequent moments. No allusion to a „clear past”, a present a future is required. We could call the later moments future if we so chose, but that’s just like calling the arrival of the bus in NY “future” – a use of words that would not for one minute shake an eternalist’s conviction regarding the tenselessness of motion.
In intuitionism, just as in Cambridge change, temporal evolution is captured by the relativization of a property to a tenseless moment in time. In the case of motion, the property in question is spatial location. For intuitionism it is the possession a truth value by a proposition. A truth value can be attached to a token at a time t in the way that a spatial location x is assigned to the bus at a time t. In both, tense and passage are completely out of the picture. Imagine that a proof of Goldbach’s conjecture is found in 2050. The conjecture’s status at that moment changes from being neither true nor false to being true. That’s what happened to Fermat’s conjecture in 1995. But the entire sequence of events regarding Goldbach’s conjecture can be given tenselessly: in 1742 Christian Goldbach puts forth the conjecture that every positive even integer can be written as the sum of two primes. In 1924 Hardy and Little wood show that… in1930 Lev Schnirelmann shows that…. In 1951 Yuri Linnik proves that…in 2050 so-and-so proves the conjecture. Again, before 2050 the conjecture lacks a truth value, from 2050 onwards it possesses a truth value. Can a Martian who is given this information know whether the conjecture has been proven or refuted, whether it now has a truth value? Only if they know what date it is today, but this piece of information has to be provided in addition to the above chronology of the conjecture’s evolution.
The analogy between Cambridge change and intuitionism may be objected to. It could be claimed that spatial locations and truth-values are categorically very different. The former are properties of material objects, the latter are rather abstract properties of propositions. The change a proposition undergoes is from lacking a truth value to possessing one, whereas a bus in motion always has a spatial location. But this difference is irrelevant in the present context. The similarity is important, and consists in a change in properties, which is given in tenseless terms, without the now figuring in its depiction. This both cases share.