I was thinking of trying to get an article published on Infinity. I thought I'd post it here first. Any thoughts?
Infinite Confusion
Infinity has been a source of fascination and confusion for 1000’s of years. Here is a brief review of the history of infinity and try (hopefully) to clear up some of the confusion it causes in maths and the sciences.
Some History
The earliest reference we have to infinity is from the Greek philosopher Anaximander who used the word ‘Apeiron’ to refer to limitless, unbounded or indefinite.
The great Greek philosopher Aristotle subsequently made an important distinction between two kinds of infinity. ‘Potential Infinity’ he described as a iterative process that can potentially be carried out for ever never actually is. Examples are counting or walking. ‘Actual Infinity’ is then defined as the results of carrying out the iterative process for ever. Aristotle felt that Potential Infinities were OK but Actual Infinities were not allowable.
Still with the Greeks, Zeno of Elea (born c. 490 BCE) is famous for his paradoxes of motion. An example paradox is the story of a foot race between Achilles and a tortoise. The tortoise asks for a 50 meter head start and is confident of victory; in order for Achilles to catch the tortoise, he first covers the 50 meters. By that time, the tortoise has moved ahead another 5 meters. By the time Achilles has moved another 5 meters, the tortoise has moved ahead again and so on; with the conclusion that Achilles will never catch the tortoise because he must perform an Actually Infinite number of steps to do so.
The simplest solution to Zeno’s paradoxes is to assume space comes in discrete fixed-size chunks (rather than continuous space) so that Achilles then only has to cover a finite number of steps to catch the tortoise.
Whilst it is not mentioned in the Bible, christian theologians have traditionally attributed infinity to God, stressing the unbounded nature of God’s power. To deny God anything was seen as belittling God.
Georg Cantor, the german mathematician responsible for much of modern set theory, was a devout Lutheran and believed his work on infinite sets was communicated to him directly by God.
Infinity in maths
Infinity is by its very nature unbounded and therefore not well defined. Infinity lacks a start or end; what other object lacks starts and ends? These ill-defined and unnatural characteristics of infinity make it prone to causing paradoxes (as we’ve seen with Zeno).
First thing to note that infinity is not any sort of normal number or quantity:
There is no quantity X such that X > all other quantities because X+1 > X.
To reinforce that infinity is not a quantity, it also behaves unlike any normal quantity under the operation of the basic mathematical operators. Adding, subtracting, multiplying and dividing infinity all yield infinity as the result:
1 + oo = oo implies:
1 = 0
In Calculus, the limit concept is used to describe an expression approaching, but never actually achieving the value. The limit concept is used with infinity for example, it is common to write:
lim 1/n = oo
n->0
Its important to realise that the limit never actually evaluates to infinity; it is always a finite number that approaches but never reaches infinity. So strictly speaking, its more accurate to write:
lim 1/n ~ oo
n->0
Geometrically, infinity is a source of confusion. How many points can you get on a line segment of length 1? The traditional answer is an actually infinite number of points. This does not hold up too well under closer examination. A mathematical point is defined to have length zero. So the number of points in the interval is:
(segment length) / (point length)
= 1 / 0
= Undefined
Something with length 0 can’t exist so it seems the mathematical definition of a point is contradictory. Using a redefinition of ‘point’ to have a non-zero length, we can see there are always a finite number of points in a segment. As the point size decreases; the number of points tends to but never actually reaches Actual Infinity. So the number of points on a line segment is an example of Potential Infinity.
Also geometrically, actual infinity is not constructible. For example, it is impossible to construct a line segment with the property that it is longer than all other line segments.
In set theory, the actually infinite is defined to exist by way of the ‘Axiom of Infinity’. So set theory does not prove actual infinity exists it merely assumes that it does. An axiom is meant to be a self-evident truth. Its questionable whether the existence of a set with an actually infinite number of members is a self evident truth. It has to be remembered here that set theory was devised in the late 1800 in a still heavily religious society. Cantor and company regarded it as self evident that God was infinite and required mathematics to reflect this.
Infinity In Science
Science is a two-pronged subject; the theoretical and empirical. As has been mentioned, theoretically, actual infinity is on somewhat shaky ground. Traditionally, science treats actual infinity as indicative of a error in calculation. For example the infinity/singularity at the heart of the Big Bang is regarded as indicative that the theory of Relativity has broken down.
Empirically, things look no better. There are no examples of actual infinity in the material world that we know of.
There are some unknowns such as how far space goes on or how far time goes back; but these are not evidence for the Actually Infinite, merely just a lack of evidence either way.
Continuous space and/or time are sometimes used as an example of the actually infinite, but modern science is trending in the direction of the discrete. Matter is discrete. The Bekenstein bound (
https://en.wikipedia.org/wiki/Bekenstein_bound) expresses a limit on the information content of a region of space and strongly suggests discreteness of space.
Another way of thinking about it is to consider a 1cm cubed volume of ‘continuous’ space; it will be graduated with infinite precision as that is the definition of continuous; the positions of particles within it will be know with infinite precision; which equates to infinite information in a finite volume. Also then consider a 1 light year cubed volume of ‘continuous’ space; it will also be graduated with an identical infinite precision (as that is the definition of continuous). This suggests the information content of the two volumes are both infinite and similar. Seems nonsensical; hence discrete space. A simpler argument applies for discrete time.
There is some uncertainty in science over whether the universe is finite or infinite in time and space. There is a simple argument against an infinite universe; if it does not have a start, it can’t exist. So this argument implies the universe has a start in time (and time itself has a start).
The word ‘Eternal’ is often uses with infinite time and has two meanings:
Eternal Outside Time - existing for ever outside of time
Eternal In Time - existing for ever within time
The first meaning of eternal does not require actual infinity and is compatible with Einstein’s 4D space-time view of the world. The second meaning does require actual infinity and leads to paradoxes, for example:
- Say you meet an Eternal (in time) being in your Eternal (in time) universe
- You notice he is counting
- You ask and he says ‘I’ve always been counting’
- What number is he on?
The problem here is ‘Eternal In Time’ - it has no start so it is undefined/cannot exist; hence the paradox.
The measure problem from Cosmology is another paradox due to an infinite universe:
- Assume time extends back for ever.
- If it can happen it has happened.
- An infinite number of times.
- No matter how unlikely it was in the first place!
- So all things have happened an infinite number of times.
- So all things are equally likely.
- Reductio ad absurdum.
Another argument against an ‘Eternal In Time’ universe is the 2nd law of thermodynamics: If the universe has been around for ever then it should be in thermodynamic equilibrium by now. But the universe is not in thermodynamic equilibrium.
Closing Remarks
In an article this length, I cannot begin to iterate all the paradoxes of infinity…
Hilbert’s amazing hotel that is completely full with infinite guests; an infinity of new guess arrive and by magic they are all accommodated (
https://en.wikipedia.org/wiki/Hilbert%27s_paradox_of_the_Grand_Hotel)
Cantor's Paradox: ‘The set of all sets is its own power set. Therefore, the cardinal number of the set of all sets must be bigger than itself.’ The set of all sets is an ACTUAL INFINITY so not a completely described set. You cannot soundly reason with it. Leads to the paradox.
Posit an universe infinite in time but finite in space plus some historians. Then there is not enough room in the universe to write down the whole history of the universe!
A paradox is caused by an error in the underlying reasoning; the assumption that Actual Infinity is possible is the cause of these paradoxes in every case.
One finial thought; how exactly is Actual Infinity and the materialistic world view comparable?
Finite regards…