Mathematical Intuitionism and the Flow of Time

post by Polytopos · 2020-04-14T00:25:10.524Z · LW · GW · 5 comments

Contents

5 comments

Prompted by this article from Quanta magazine about physicist Nicolas Gisin's recent work on intuitionism and the flow of time, I have done my best to explicate the philosophical and mathematical background to this subject for a non-technical audience. I find this topic to be a fascinating intersection of philosophical questions in the foundations of mathematics on the one hand, and our best understanding of the nature of physical reality on the other. It's a wonderful example of seemingly useless speculative ideas turning out to be profoundly useful in a future context.

Much of the research for this comes from the Stanford Encyclopedia of Philosophy article on Intuitionism, but I also drew on several other sources to round out my understanding. Full disclosure, I'm a trained philosopher, and have a serious lay-person interest in the foundations of mathematics, but I'm not an expert in any of the fields involved.

The Intuitionist philosophy of mathematics was created by the mathematician Brouwer. He first articulated the ideas in his PhD dissertation in 1907 and continued to develop them for the rest of his life. In addition, many other mathematicians and philosophers developed Brouwer’s ideas, so now there are intuitionistic branches of math, logic, and philosophy of math.

Brouwer’s ideas were inspired by Kant’s theory that mathematical knowledge originates in our perception of time.

Brouwer’s first big idea is about our ability to perceive that one moment in time gives way to another, thus, we have 1 to 2, and the relationship between 1 and 2. Then in another moment we can relate this 2-moment to another moment which we’ll call 3. The key thing here is that these moments of subjective time perception and the experienced relationship of temporal flow between them are the real mathematical objects. Our symbols and language such as 1, 2, 3, +, -, etc are just ways to talk about our experiences of temporally structured moments of reflection.

So we can understand the idea of an infinity of natural numbers by thinking of them as a sequence of reflection upon temporal moments that goes on and on without end, 1, 2, 3, 4…. For Intuitionists, there are only potential infinities, not actual infinities. What that means is that we cannot regard an infinity as something that exists as a completed object (it never exists fully at any moment in time). Instead, when we talk about an infinite set, like “the set of all natural numbers” what we should mean is, “the temporal process that generates each natural number with no limit on how long it may continue to run”.

It is quite natural for me to think of this in terms of computer programming. It is easy to write a program that prints 1, 2, 3, 4, and keeps running to printing bigger and bigger numbers with no programmed stopping point. But, does this mean I’ve generated an actual infinite set of numbers? Of course not. In finite time, my computer will only ever print out a certain finite subset of the natural numbers. The process is infinite only in the sense that it has no natural stopping point (we are not considering contingent stopping points like my computer crashing or breaking down or losing power).

In contrast to Intuitionism, classical mathematics regards infinite sets as well-defined abstract objects. So “the set of all natural numbers” is a valid mathematical object that exists presently and in every moment, just as much as the numbers 1 or 2. Although this is a different philosophy, the actual mathematical implications of these philosophical differences are not vary significant when dealing with natural numbers or integers or rational numbers (fractions). This is because in each of these cases, the basic members of the infinite sets are not themselves infinite.

In the set of naturals, {1, 2, 3, …} each element can be produced through a finite (terminating) process. Similarly, every rational number can be expressed as a fraction, which is defined from integers e.g., (2 + 23 / 54). So the list of all rationals is still generated from elements we can construct in a finite amount of time. This means that for the most part, we can treat math that is concerned with whole or fractional numbers pretty much the same way whether we adopt an intuitionistic viewpoint or a classical viewpoint.

However, all that changes when we come to real numbers. In math, real numbers are used to describe things that change continuously (which includes almost everything that physics talks about). In geometry, the length of a line segment would be expressed as a real number. There is a famous legend about how Pythagoras believed that every number could be expressed as fractions of whole numbers, and when one his followers provided a demonstration that the hypotenuse of a triangle with bases of length 1 could not be expressed as a fraction, Pythagoras killed him on the spot for heresy (in modern terms we’d say the length is the square root of 2).

The classical view of real numbers is that each real number is defined by an infinite set of digits. So for example, you can represent the real number one, as 1.0000000… The zeros go on forever. Why? Because, suppose we just got lazy and said that for this real number we’re only going to write two zeros. Then we could ask, is 1.00 greater or smaller than 1.001. Now, if we don’t know what comes after the second zero we can’t answer this question. But it turns out that it is very important for the concept of a continuously changing quantity that there always be an answer to this question. A continuum requires a complete linear ordering of numbers. So therefore, in the classical view, the very nature of a real number is an infinite string of digits plus some scaling factor (i.e., where to put the decimal point).

Okay, so now you might be starting to see why here the math starts to diverge more between the classical view and the intuitionistic view. For according to the intuitionistic view a real number is not a thing, not a completed object at a given moment in time. Rather it is a process, it is an expanding series of digits. Brouwer called this a choice sequence. He imagined a free agent who picked each next number in the sequence. The next number might be picked in a lawlike way or in a non-lawlike way. For example, I might decide to write down all the digits of pi. 3.14159265358979… This is a purely law-like choice sequence. However, I also might write down the digits of pi for twenty digits and then just start picking random numbers. That is also a perfectly acceptable choice sequence to generate a real number.

However, the crucial thing here is that we never really know what the next digit in the sequence will be until after the point in time when it gets chosen. There is nothing in the definition of a real number that says that all the digits have to be generated according to a mechanical rule or algorithm. There is no way to see into the future of the process of choosing digits to know in advance how things turn out. So, for the intuitionist, mathematical reality itself is time-relative. After a digit has been chosen, the chooser can’t go back on the choice (doing so would just be to define a different real number). But before the next digit has been chosen, the reality of that digit (and all subsequent ones) is fundamentally open to multiple possibilities.

Incidentally, this also accords well with the intuitionist theory of logic, which makes mathematical truth time-relative. An intuitionist says that a statement like “A or not A” is neither true nor false at a point in time where we haven’t proven either A or not A. (In classical logic, the statement “A or not A” is logically true for any statement A, a tautology known as the law of the excluded middle.) For the intuitionist, the law of the excluded middle is invalid. Yet, "A or not A" may become true at a later point in time, once we have produced a proof of one of the two sides.

Clearly, we cannot prove facts about a real number as a certain infinite string of digits if some of those digits don’t have a determinate value at this point in time. So, the rules of intuitionistic logic and the account of the essentially temporal nature of numbers are mutually consistent. In contrast, classical mathematics (which has been used to develop all our current theories of physics) assumes that every real number possesses an infinite degree of precision at every moment in time, and this is consistent with classical logic's endorsement of the law of the excluded middle.

As a result of these differences in the nature of real numbers (and other "uncountable" elements) many of the classical theorems in the mathematical field of analysis (a.k.a., calculus) are actually false in an intuitionistic system. However, in most of these cases, there are alternative theorems that resemble the original theorems but replace claims such as “there exists such and such a real number” with “there exists arbitrarily precise approximations of such and such a real number.” Replacing the idea of quantity as an actual infinity with the idea of the same quantity as an endless process that converges towards the quantity.

That’s about as far as my understanding goes. What I took from the Quanta article is that these new physics papers are trying to replace the (mathematically) classical equations of relativity and quantum mechanics with analogous equations expressed in the language of intuitionism. What this means on a physical level is that quantities like mass, position, charge, spin, etc are never infinitely precise and they become more precise as time moves forward. Since information itself is finite in the universe, there cannot be literal infinities for any physical quantity. But as time moves forward, more information might be created at some determinate rate.

This means that the flow of time has a real (potentially measurable) physical effect. Previously, this was not thought to be the case for general relativity. Time was just a direction, no different than spatial directions. Think of a particle existing at a position in spacetime. You can describe that position with 4 numbers, X, Y, Z, and T. If any of these numbers changes the change in the number represents a change in the position of the particle (e.g., change in X = X1 - X2). This implies that the change itself, the movement or flow from one position to another is not a physical thing above and beyond the facts captured by X, Y, Z, and T. This is why Einstein’s universe is called a “Block Universe”. Every number that defines positions past, present, and future could exist eternally as a static mathematical description of the whole spacetime continuum.

However, once the equations are re-cast using intuitionistic mathematics, the change in time is more than just a change in a position coordinate. Because the change in time also increases the precision of every physical quantity, unfurling more digits across the universe. This makes time special, and gives a measurable physical meaning to the idea that time flows.

5 comments

Comments sorted by top scores.