Infinite fun with infinite worlds

One of the most astonishing findings in mathematics is the discovery that there are many different types of infinities ¨C and for a long time, it was an unresolved problem whether some of these infinities could be of different sizes without contradiction.

One mathematical logician who has been studying this intensively for years is Saharon Shelah from the Hebrew University of 365ÌåÓýÖ±²¥_365ÌåÓýͶע-¾º²ÂÍøͶ As the guest speaker at this year¡¯s Paul Bernays Lectures, he will discuss the current developments in ¡°Struggling with the size of infinity¡±. Shelah is an established expert on the topic of mathematical infinity. A year ago, he managed to prove with Martin Goldstern and Jakob Kellner from the TU Wien that ten ¨C and no more ¨C infinities can have different sizes and can be arranged according to their sizes in what is known as Cicho¨½'s diagram (see figure).

This was a ground-breaking proof, as history shows: the modern mathematical debate on infinity began with a series of discoveries made in the 1870s by German mathematician Georg Cantor (1845-1918). He used set theory ¨C which he established ¨C to determine that we can differentiate between an infinite number of infinities in mathematics. Cantor understood infinity as a set that contains an infinite number of elements (or numbers). By focusing on the infinite set of natural numbers ¨C those used for counting in everyday life, i.e. 1, 2, 3, 4, 5, etc. ¨C he was able to demonstrate that there are two fundamentally different types of infinities.

Specifically, the ¡°countably infinite¡± sets, which have the same number of elements (or numbers) as the infinite set of natural numbers, and the ¡°uncountably infinite¡± sets, which contain more elements. The infinite set of real numbers belongs to the second type. In addition to whole numbers, it also includes negative numbers, fractions, roots and mathematical constants, such as ¦Ð, etc. Mathematicians refer to the infinite set of real numbers as the ¡°continuum¡±.

As Cantor demonstrated, the continuum is actually bigger than the countably infinite set of natural numbers. This in turn is the smallest infinite set. He also investigated whether there could be another or even several types of infinite sets between the infinite quantities of natural and real numbers. He suspected that this was not the case, and this assumption is known as the continuum hypothesis.

Narrowing down infinity from the plethora

To his disappointment, he was never able to prove this ¨C in fact, no one has managed to establish the proof so far. On the contrary, following the Second World War, logicians Kurt G?del (1906-1978) and Paul Cohen (1934-2007) proved that the continuum hypothesis can neither be proven nor refuted within the known axiomatic set theory. It can be assumed that there are further types of infinities or that there are none between the set of natural numbers and the continuum. Neither assumption contradicts the premises of this set theory.

Like all mathematical theories, set theory is based on axioms. These are postulates or premises accepted as true from which further mathematical statements must be derived without contradiction. The ZFC axiom system, which traces back to Ernst Zermelo (1871-1953) and Abraham Fraenkel (1891-1965), has been established as the standard system of set theory and thus as the basis of mathematics as a whole. It encompasses nine axioms, including the axiom of infinity through which we can make assertions about infinite sets.

The continuum hypothesis and the question of how many types of infinities exist still keeps mathematicians busy, although the approaches differ depending on the philosophical position. Set theorists such as Hugh Woodin, the guest speaker at the 2016 Bernays Lectures, try to refute or prove the continuum hypothesis by adding new axioms to the ZFC axioms. In doing so, Woodin follows his conviction that there can be only one "correct" set theory model. Saharon Shelah takes another somewhat more "playful" approach. He is said to love solving challenging problems and has stated that his mathematical-philosophical position is hedonism: "Mathematics is fun!"

Shelah is less inclined to ask himself if the continuum hypothesis is unsolvable, but conversely, if it does not trigger a contradiction of mathematical axioms in one way or another, then you can assume that it does not apply and then investigate whether additional types of infinities exist. In principle, an infinite number of infinities could occur between the countable infinity and the continuum. Some can be ruled out: "For infinite sets, any conceivable size is possible that does not conflict with the ZFC axioms," says Lorenz Halbeisen, lecturer and logician at ETH Zurich, who has worked with Shelah.

Shelah developed what is known as the proper forcing technique for this. With this method, ZFC set theory can be expanded with new infinite sets, and very different ZFC models can be constructed in order to verify certain statements. "This technique makes it possible to indicate what is possible in a respective model and which sizes can be ruled out for infinite sets," says Halbeisen.

An instinct for astonishing connections