Intervista al Prof. Leopold Kronecker
La fisica moderna si affida a strumenti matematici che spesso superano i confini del pensabile costruttivamente. L’uso disinvolto dell’infinito, dei numeri reali, di spazi continui — tutto questo ha sì una funzione descrittiva, ma non ha fondamento nel numero intero, che solo io considero veramente dato. Finché la fisica continuerà a fondarsi su astrazioni non verificabili aritmeticamente, io la guarderò con cautela.
In un certo senso, sì. La quantizzazione è un passo nella giusta direzione, poiché riconduce fenomeni fisici a insiemi finiti o almeno numerabili. Tuttavia, spesso anche in meccanica quantistica ci si appoggia a funzioni d’onda e a spazi continui che non sono ammissibili nella mia concezione. Finché le strutture discrete non saranno totalmente libere da appoggi analitici infinitisti, il problema resta.
La cosiddetta funzione d’onda — sia essa \(\psi(x)\), o un elemento di uno spazio di Hilbert — non può essere, dal mio punto di vista, che una espressione simbolica priva di fondamento aritmetico.
Essa vive in un contesto che presuppone l’infinito attuale, il continuo dei numeri reali, le derivate e gli integrali — tutti concetti che io ho criticato apertamente. Questi strumenti dell’analisi, se non sono riducibili a procedimenti finiti e basati sui numeri interi, non appartengono alla vera matematica.
Dico: ‘Dio ha creato i numeri interi; tutto il resto è opera dell’uomo’. La funzione d’onda è opera dell’uomo, e nemmeno tra le più sobrie. Non è costruibile, non è finita, non è verificabile nel senso aritmetico. È un’entità ipotetica la cui esistenza dipende da concetti che io non posso accettare come matematicamente legittimi.
Essa potrebbe avere valore pratico, così come l’astronomia di Tolomeo aveva valore predittivo pur fondata su sfere immaginarie. Ma confondere l’efficacia con la verità è un errore metodologico. La funzione d’onda può essere utile, ma non è reale, né è matematicamente giustificata, se non nel quadro di una matematica che io considero profondamente viziata.
Constructivism and Finitism in Modern Mathematics
This article presents an imaginary interview with Leopold Kronecker (1823-1891), the German mathematician known for his constructivist approach to mathematics and his famous statement “God made the integers, all else is the work of man.” Through this conceptual interview, we explore the philosophical implications of Kronecker’s finitism, his skepticism toward actual infinity, and his criticisms of contemporaries like Cantor and Weierstrass. The interview offers a perspective on how Kronecker’s ideas might dialogue with developments in contemporary mathematics, including references to Gödel’s incompleteness theorems and computability theory. The discussion highlights the continuing relevance of Kronecker’s constructivist philosophy in modern mathematical foundations.
The late 19th century witnessed a foundational crisis in mathematics that precipitated profound philosophical debates about the nature of mathematical objects and the validity of proof methods. At the center of these debates stood Leopold Kronecker (1823-1891), whose uncompromising constructivist position set him apart from contemporaries like Georg Cantor and Richard Dedekind.
Kronecker’s philosophy of mathematics, often characterized as finitist and constructivist, maintained that:
1. Only the natural numbers have immediate ontological validity in mathematics
2. All other mathematical objects must be explicitly constructed from natural numbers through finite procedures
3. Existence proofs without construction methods are invalid
The period 1870-1890 saw the development of increasingly abstract mathematical concepts, including:
- Cantor’s transfinite numbers
- Dedekind’s ideal theory
- Weierstrass’s analysis foundations
Against this background, Kronecker emerged as the most vocal critic of non-constructive methods in mathematics.
Professor Kronecker, your famous dictum about integers being God-given and all else man-made has become emblematic of your philosophy. Could you elaborate on its epistemological significance?
The epistemological significance lies in the distinction between given mathematical reality and constructed mathematical concepts. The natural numbers (1, 2, 3,…) are given to us through the fundamental operation of counting – an operation so basic that it precedes formal mathematical reasoning. All other number systems (rationals, reals, complexes) are sophisticated intellectual constructions that require justification through finite combinatorial procedures.
Your work anticipates later developments in mathematical constructivism. How would you characterize the essential differences between your position and Brouwer’s intuitionism?
While Brouwer and I share a commitment to constructive methods, there are crucial differences:
| Aspect | Kronecker’s Finitism | Brouwer’s Intuitionism |
|---|---|---|
| Ontological basis | Natural numbers | Primordial intuition of time |
| Infinite | Rejected | Potential only |
| Logic | Classical | Modified |
How would you assess the relevance of your ideas to contemporary computer-assisted mathematics?
The development of computational mathematics represents a striking vindication of my position. Consider three areas where constructivist principles prove essential:
- Proof verification systems: Require completely explicit constructions
- Numerical analysis: Deals with finite approximations
- Algorithmic mathematics: Embodies the finite procedures I advocated
Kronecker’s constructivism presents a continuing challenge to mathematical Platonism. Recent work in:
- Reverse mathematics
- Computable analysis
- Proof mining
demonstrates the fecundity of constructivist approaches in contemporary mathematics.
The author wishes to thank Professors Elena Giovannini and Markus Schneider for their valuable comments on earlier drafts of this paper.
This article presents an imaginary interview with Leopold Kronecker (1823-1891), the German mathematician known for his constructivist approach to mathematics and his famous statement “God made the integers, all else is the work of man.” Through this conceptual interview, we explore the philosophical implications of Kronecker’s finitism, his skepticism toward actual infinity, and his criticisms of contemporaries like Cantor and Weierstrass. The interview offers a perspective on how Kronecker’s ideas might dialogue with developments in contemporary mathematics, including references to Gödel’s incompleteness theorems and computability theory. The discussion highlights the continuing relevance of Kronecker’s constructivist philosophy in modern mathematical foundations.
Keywords: Kronecker, mathematical constructivism, finitism, foundations of mathematics, philosophy of mathematics
The mathematics of the 19th century was characterized by a profound debate on foundations, in which Leopold Kronecker emerged as a distinctive voice in favor of a constructivist and finitist approach. Contrary to the predominant trends of his time, Kronecker insisted on the need to base mathematics exclusively on finite constructions and computable procedures, anticipating many of the concerns that would emerge in constructivism and intuitionism in the 20th century.
Professor Kronecker, you are known for your statement “Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk” (“God made the integers, all else is the work of man”). Could you explain the deeper meaning of this declaration?
With this statement I mean to emphasize the primacy of the integers. They represent the most elementary and secure basis on which to build the entire mathematical edifice. The integers emerge directly from the human intuition of counting, an activity so fundamental as to seem part of the natural order of things. When I speak of “the work of man,” I refer to subsequent extensions like rational, real, complex numbers – all intellectual constructions that, though useful, do not possess the same ontological immediacy as the integers. Mathematics should always maintain a concrete connection with these intuitive roots.
Your position has been interpreted as a form of mathematical finitism. Do you identify with this label?
Undoubtedly. I maintain that mathematics should deal exclusively with objects that can be constructed in a finite number of steps starting from the integers. Every mathematical object should be defined through finite and explicit procedures. Actual infinity, as conceived by Cantor, appears to me as a dangerous deviation from the principles of rigor that should guide our discipline. I do not deny the utility of potential infinity as a way to speak of processes that can continue indefinitely, but I reject the idea that infinities are legitimate mathematical objects on par with finite numbers. Mathematics is the science of the finite, not speculation about the infinite.
You had a famous disagreement with Georg Cantor regarding the theory of infinite sets. What were your main objections?
My objections to Cantor’s theory are both methodological and philosophical. From a methodological viewpoint, I maintain that non-constructive proofs—those that establish the existence of a mathematical object without providing a method to construct it—have no value. Cantor’s set theory is full of such proofs. From a philosophical viewpoint, I consider actual infinity to be a fiction that can lead to paradoxes and contradictions, as indeed has happened. Mathematics should not concern itself with metaphysical entities like the “set of all sets” or “transfinite numbers of ever-increasing order.” These constructions distance mathematics from its foundation in the finite and the concretely representable.
How would you view developments in mathematical logic in the 20th century, particularly Gödel’s incompleteness theorems?
Gödel’s theorem confirms some of my intuitions about the nature of mathematics. If we interpret this result in light of my finitist approach, we can see how it demonstrates the intrinsic limits of formal systems when they try to completely capture even just the arithmetic of integers. This strengthens my conviction that mathematics should not aspire to all-encompassing formal systems, but rather concentrate on concrete and computable constructions. Mathematics is a human activity, not a Platonic realm of absolute truths independent of our capacity to comprehend them through finite methods. Gödel’s results show that even in the sphere of integers, which I consider the foundation of mathematics, there are precise limits to what can be formalized.
What do you think is the most important legacy of your approach for contemporary mathematics?
My most enduring legacy lies in the emphasis on computability and constructivity in mathematics. My approach anticipated important developments like recursion theory, constructive mathematics, and even some aspects of theoretical computer science. When I insisted that every mathematical object should be defined by means of finite procedures, I was essentially articulating a principle that would become central in computer science: the idea that a mathematical object is well-defined only if there exists an algorithm to construct it. In this sense, I like to think I helped lay the conceptual foundations for the development of computability theory. Today I see with satisfaction that many mathematicians work in the area of constructive mathematics and effective computation, demonstrating that my concerns were well-founded and current.
Kronecker’s constructivist philosophy presents a compelling alternative to the Platonist view of mathematics that dominates contemporary practice. While modern mathematics has largely followed Cantor’s path into the transfinite, Kronecker’s insistence on constructive methods and computability finds new relevance in the age of computer-assisted mathematics and proof verification systems.