# Levels of Infinity

## Selected Writings on Mathematics and Philosophy

## Hermann Weyl, Peter Pesic, Peter Pesic

# Levels of Infinity

## Selected Writings on Mathematics and Philosophy

## Hermann Weyl, Peter Pesic, Peter Pesic

## À propos de ce livre

This original anthology assembles ten accessible essays by a giant of modern mathematics. Hermann Weyl (1885–1955) made lasting contributions to number theory as well as theoretical physics, and he was associated with Princeton's Institute for Advanced Study, the University of Göttingen, and ETH Zurich. Spanning the 1930s–50s, these articles offer insights into logic and relativity theory in addition to reflections on the work of Weyl's mentor, David Hilbert.

Subjects include "Topology and Abstract Algebra as Two Roads of Mathematical Comprehension, " "The Mathematical Way of Thinking, " "Relativity Theory as a Stimulus in Mathematical Research, " and "Why is the World Four-Dimensional?" Historians of mathematics, advanced undergraduates, and graduate students will appreciate these writings, many of which have been long unavailable to English-language readers.

## Informations

**Levels of Infinity**

(1930)

(1930)

*apeiron*, took possession of the Greek soul in the Dionysian-Orphic epoch that preceded the Persian Wars. Here the Persian Wars also mark the release of the Occident from the Orient.

^{1}That tension and its overcoming became for the Greeks the driving motive of knowledge. But every synthesis, as soon as it was achieved, permitted the old antithesis to break out anew in deepened form. Thus, it determined the history of theoretical knowledge into our time. Indeed, today we are compelled everywhere in the foundations of mathematics to return directly to the Greeks.

*In the small there is no smallest, but there is always a smaller*. For what is can by no division, however far it is carried out, ever cease to be.” This concerns space or body. The continuum, he says, cannot be put together out of discrete elements, which would be “chopped off from each other as if by an axe.”

^{2}Space is not only infinite in the sense that nowhere within it does one come to an end, but at every place it is, so to speak, infinite in the inward direction. A point may be more and more exactly fixed only through a process of division extending to infinity, from level to level. This stands in contrast with the calm, completed existence of space for intuition. For the quality that fills it, space is the principle of separation, is that which makes possible the variability of the qualitative, but also is

*separation*and, at the same time,

*contact*, continual coherence, so that no piece may be “chopped off, as if by an axe,” from another. Therefore no actual spatial thing can ever be adequately given because it unfolds its “inner horizon” in a process of ever newer and more precise experiences that unfolds to infinity.

^{3}Thereby it appears impossible through any such process to posit the actual thing as

*existent*, closed and completed in itself. So the problem of the continuum drives one to epistemological

*idealism*: Leibniz, among others, testified that the search for an exit from the “labyrinth of the continuum” first led him to the conception of space and time as orderings of the phenomena. “From the fact that body does not permit itself to be dissolved mathematically into primary ‘fundamental moments’ [‘indivisibles’] it follows immediately,” said Leibniz, “that it [body] is nothing substantial, but rather an ideal construction, which denotes only a

*possibility of parts*, but certainly nothing real.”

*potentially*.” Since Leibniz gives phenomena a foundation in a world of absolute substances, he too cannot evade Democritus’s compelling argument and conceives the idea of the monad. “In the ideal or the continuum,” said Leibniz in agreement with Aristotle, “the whole precedes the parts . . . The parts are here only potential. In substantial things, however, the simple precedes the aggregate; the parts are actual and given before the whole. These reflections eliminate the difficulties regarding the continuum, difficulties that only arise when one sees the continuum as something real, which, prior to any division on our side, in itself possesses actual parts, and when one holds matter to be a substance.”

*Being and Possibility*. Accordingly, in the end, the unfolding of the mathematical construction of reality rests on its subjective-objective double nature: it rests on the fact that it is not a being in itself, but rather an appearance for an intellectual I [

*ein geistiges Ich*].

^{4}If, metaphysically, with Plato, one lets the picture that hovers before consciousness arise from the meeting of a “movement” from the I and one from the object, then one will make the I responsible for extension, the intuitional form of space and time, as the qualitatively undifferentiated field of free possibilities.

^{5}Mathematics is not the stiff and paralyzing schema the layman prefers to imagine; rather, with mathematics we stand precisely at that intersection of bondage and freedom that is the essence of the human itself.

*sequence of natural numbers*1,2,3, . . . ; only with their help can we approach at all the mathematical grasp of the continuum. In the development of arithmetic, as far as the role of infinity is concerned, four levels can be distinguished. To the

*first*level belong such individual concrete judgments as 3 > 2; the number-sign

*//*is a partial piece contained in the number-sign

*///*. To the

*second*level belongs (for instance) the idea of <, of “being contained” for arbitrary number-signs and the judgment of

*hypothetical universality*: given any two number-signs

*A*,

*B*, then either

*A*<

*B*,

*A*=

*B*, or, finally,

*B*<

*A*. The domain of the actually given is not exceeded here because this judgment only pronounces upon cases

*in which*determinate numbers

*A*,

*B*are given. Something wholly new occurs, however, when at the

*third*level I locate the actually occurring number-signs in the sequence of

*all possible numbers*arising through a process of generation in accord with the principle that from a given number

*n*, there can always be

*generated*a new one,

*the next*number,

*n*′.

*Here the existent is projected onto the background of the possible, of an ordered manifold of possibilities producible according to a fixed procedure and open to infinity*. Systematically, this standpoint is expressed in the definition and proof by complete induction: To establish that a property

*P*belonging to some arbitrary natural number

*n*belongs to every such number, it is enough to show that (a) 1 has the property

*P*, (b) if

*n*is any number with property

*P*, then the next number

*n*also has property

*P*. The distinction between even and odd numbers by the familiar “counting off by twos” is a simple example of definition through complete induction, which can be reduced to the form: (a) 1 is odd; (b) depending on whether

*n*is even or odd, then

*n*′ is odd or even.

^{6}

*description a posteriori of the actually given*to the

*construction a priori*

*of the possible*, in whose manifold the given is assigned its ordered place not on the basis of descriptive features, but on the basis of the results of certain mental or physical manipulations and reactions to be carried out on it, for example the counting process. The foes of this method are on the one hand the empiricists (because a priori construction is a thorn in their flesh), who fondly imagine they can grasp Being as a single layer, unadorned, “by pure description” (Bacon contra Galileo, Hume contra Kant, Mach contra Einstein).

^{7}On the other hand there are the metaphysicians, who, out of hatred for freedom or for the field of construction insofar as it is open to infinity, build up a stiff dialectical concept-world as true Being (Hegel contra Newton). — We will only later address in more detail the fourth level of arithmetic, in which according to the model of the Platonic theory of ideas the

*Possible*is turned into a transcendent and absolute

*Being*, which is by nature inaccessible in its totality to open-eyed [

*schauenden*] insight. For now, we will refrain from this dangerous step and turn from the natural numbers to the continuum, asking how we are to describe this substrate of possible divisions that proliferate ad infinitum.

*A*,

*B*(the zeroth-level division). For the transition to the first-level division, each of these arcs is divided into two parts; for the second level, the same thing is repeated with each of the four sub-arcs that have thus arisen, etc. The number of arcs is multiplied by 2 at every step. (See the figure, in which the new divisions for every level are marked by crosses.)

*n*th, . . . levels, the infinite series of numbers emerges. I would gladly stipulate that at every level the pieces that arose at the previous one are exactly halved, but I may not. For it is of the essence of the continuum that (1) it is divisible, yet (2) it is not divisible exactly (has no parts “chopped off from each other by an axe”), though (3) the fineness and precision of the division need nowhere find a limit at which to cease. Hence, successive divisions can only be carried out with a certain imprecision; but while the division proceeds from level to level, those vaguely determined limits established by the earlier divisions must become more and more precisely fixed. It is senseless to imagine that this process, which is virtually infinite, could have reached its end in an actual continuum; rather, it has always only reached a certain level. But we must keep the possibility open that the process can be taken a step further at every level. Hence, we separate the “arithmetically empty form [

*Leerform*]” of the process of division from its actualization in a given continuum; the description of the empty form consists in specifying how the pieces (designated by appropriate symbols) of the

*n*th level border one another and which of these pieces arise out of which pieces of the previous level by the

*n*th division. The empty form, in contrast to its concrete realization, is defined a priori to infinity. The mathematical theory of the continuum is about this empty form. — We already know another arithmetically empty form: the sequence of numbers. Something undivided gets divided into one piece (the 1), now kept as a unit, leaving an undivided remainder; this remainder is divided again into a piece (2...

## Table des matières

*Levels of Infinity*([edition unavailable]). Dover Publications. Retrieved from https://www.perlego.com/book/1443520/levels-of-infinity-selected-writings-on-mathematics-and-philosophy-pdf (Original work published 2013)

*Levels of Infinity*. [Edition unavailable]. Dover Publications. https://www.perlego.com/book/1443520/levels-of-infinity-selected-writings-on-mathematics-and-philosophy-pdf.

*Levels of Infinity*. [edition unavailable]. Dover Publications. Available at: https://www.perlego.com/book/1443520/levels-of-infinity-selected-writings-on-mathematics-and-philosophy-pdf (Accessed: 14 October 2022).

*Levels of Infinity*. [edition unavailable]. Dover Publications, 2013. Web. 14 Oct. 2022.