## The Mathematical Infinite as a Matter of Method (2010)

### BibTeX

@MISC{Kanamori10themathematical,

author = {Akihiro Kanamori},

title = {The Mathematical Infinite as a Matter of Method},

year = {2010}

}

### OpenURL

### Abstract

Abstract. I address the historical emergence of the mathematical infinite, and how we are to take the infinite in and out of mathematics. The thesis is that the mathematical infinite in mathematics is a matter of method. The infinite, of course, is a large topic. At the outset, one can historically discern two overlapping clusters of concepts: (1) wholeness, completeness, universality, absoluteness. (2) endlessness, boundlessness, indivisibility, continuousness. The first, the metaphysical infinite, I shall set aside. It is the second, the mathematical infinite, that I will address. Furthermore, I will address mathematical infinite by considering its historical emergence in set theory and how we are to take it in and out of mathematics. Insofar as physics and, more broadly, science deals with the mathematical infinite through mathematical language and techniques, my remarks should be subsuming and consequent. The main underlying point is that how the mathematical infinite is approached, assimilated, and applied in mathematics is not a matter of “ontological commitment”, of coming to terms with whatever that might mean, but rather of epistemological articulation, of coming to terms through knowledge. The mathematical infinite in mathematics is a matter of method. How we deal with the specific individual issues involving the infinite turns on the narrative we present about how it fits into methodological mathematical frameworks established and being established. The first section discusses the mathematical infinite in historical context, and the second, set theory and the emergence of the mathematical infinite. The third section discusses the infinite in and out of mathematics, and how it is to be taken. §1. The Infinite in Mathematics What role does the infinite play in modern mathematics? In modern mathematics, infinite sets abound both in the workings of proofs and as subject matter in statements, and so do universal statements, often of ∀ ∃ “for all there exists” form, which are indicative of direct engagement with the infinite. In many ways the role of the infinite is importantly “second-order ” in the sense that Frege regarded number generally, in that the concepts of modern mathematics are understood as having infinite instances over a broad range. 1 But

### Citations

45 | A.: A new proof of the weak pigeonhole principle
- Maciel, Pitassi, et al.
- 1999
(Show Context)
Citation Context ...e classical Pell’s equation and another to establish a crucial approximation lemma for his well-known Unit Theorem describing the group of units of an algebraic number field. 2 Upon 1 See for example =-=[18]-=-. 2 See Dirichlet [11, pp.579,636]. The principle in the early days was called the Schubfachprinzip (“drawer principle”), though not however by Dirichlet. The second, 1899 edition of Heinrich Weber’s ... |

40 | Untersuchungen über die Grundlagen der Mengenlehre - Zermelo - 1908 |

38 | Was sind und was sollen die Zahlen - Dedekind - 1888 |

36 |
Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
- Cantor
(Show Context)
Citation Context ...ntinuum was an impossibility result established via reductio ad absurdum that opened up new possibilities. Cantor addressed a specific problem, embedded in the mathematics of the time, in his seminal =-=[2]-=- entitled “On a property of the totality of all real algebraic numbers”. Dirichlet’s algebraic numbers, it will be remembered, are the roots of polynomials with integer coefficients; Cantor establishe... |

32 |
Über unendliche, lineare Punktmannigfaltigkeiten
- Cantor
(Show Context)
Citation Context ... By his 1878 Beitrag [3] Cantor had come to the focal Continuum Hypothesis—that there is no intervening cardinality between that of the countably infinite and the continuum—and in his 1883 Grundlagen =-=[4]-=- Cantor developed the transfinite numbers and the key concept of well-ordering, in significant part to take a structured approach to infinite cardinality and the Continuum Hypothesis. At the end of th... |

27 |
1891 “Über eine elementare Frage der Mannigfaltigkeitslehre”, Jahresbericht der Deutche Math. Verieng vol I
- Cantor
- 1932
(Show Context)
Citation Context ... well-ordered, and they and their cardinalities are to be gauged via the transfinite numbers of his structured conception of the infinite. Almost two decades after his [2] Cantor in a short 1891 note =-=[5]-=- gave his now celebrated diagonal argument, establishing Cantor’s Theorem: For any set X the totality of functions from X into a fixed two-element set has a larger cardinality than X, i.e. there is no... |

24 |
Zermelo’s axiom of choice: Its origins, development, and influence
- Moore
- 1982
(Show Context)
Citation Context ...ipline free of the emerging paradoxes and particularly to put his Well-Ordering theorem on a firm footing. In addition to codifying generative set-theoretic principles, a substantial motive for 8 See =-=[19]-=-. 7Zermelo’s axiomatizing set theory was to buttress his Well-Ordering Theorem by making explicit its underlying set existence assumptions. 9 Initiating the first major transmutation of the notion of... |

23 |
Neubegründung der Mathematik”, Abhandlungen des Mathematischen Seminars Universität Hamburg 1, 157-177; English trans., “The New Grounding of Mathematics”, in Ewald
- Hilbert
- 1922
(Show Context)
Citation Context ...umbers do have an antecedent sense, a universal statement ∀nϕ(n) about them should be correlated with all the informal counterparts to ϕ(0), ϕ(1), ϕ(2), . . . taken together. Contra Poincaré, Hilbert =-=[15]-=- distinguished between contentual [inhaltlich] induction, the intuitive construction of each integer as numeral, 3 and formal induction, by which ∀nϕ(n) follows immediately from the two statements ϕ(0... |

21 |
Beweis, dass jede Menge wohlgeordnet werden kann. Mathematische Annalen, 59, 514–516. Translated as “Proof that every set can be well-ordered”, in van Heijenoort
- Zermelo
- 1904
(Show Context)
Citation Context ...inciple that sets should come well-ordered? The first decade of the new century saw Ernst Zermelo make his major advances, at Göttingen with Hilbert, in the development of set theory. In 1904 Zermelo =-=[22]-=- analyzed Cantor’s well-ordering principle by reducing it to the Axiom of Choice (AC), the abstract existence assertion that every set X has a choice function, i.e. a function f such that for every no... |

12 |
A Remark on Method in Transfinite Algebra
- Zorn
- 1935
(Show Context)
Citation Context ...he famously ex10 As is well-known, the Axiom of Choice came to be widely used in ongoing mathematics in the methodologically congenial form of Zorn’s Lemma. Significantly, Max Zorn entitled the paper =-=[25]-=- in which he presented his lemma, “A remark on method in transfinite algebra”. 9pressed larger metaphysical views about finitism and generated a program to establish the overall consistency of mathem... |

10 |
Uber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen
- Cantor
- 1872
(Show Context)
Citation Context ...stripping sense, it became necessary to adopt an arithmetical view of the continuum given extensionally as a totality of points. Cantor’s formulation of the real numbers appeared in his seminal paper =-=[1]-=- on trigonometric series; proceeding in terms of “fundamental” sequences, he laid the basis for his theorems on sequential convergence. Dedekind [7] formulated the real numbers in terms of his “cuts” ... |

7 |
Ein Beitrag zur Mannigfaltigkeitslehre
- Cantor
(Show Context)
Citation Context ...ed to one of the great achievements of Greek mathematics, Eudoxus’s theory of geometric proportions, Cantor began his move toward a full-blown mathematical theory of the infinite. By his 1878 Beitrag =-=[3]-=- Cantor had come to the focal Continuum Hypothesis—that there is no intervening cardinality between that of the countably infinite and the continuum—and in his 1883 Grundlagen [4] Cantor developed the... |

7 | Über den Zahlbegriff’, Jahresbericht der Deutschen Mathematiker-Vereinigung 8 - Hilbert - 1900 |

6 |
Abriß einer Theorie der höheren Kongruenzen in bezug auf einen reellen Primzahl-Modulus. Journal für reine und angewandte
- Dedekind
- 1968
(Show Context)
Citation Context ... his Göttingen chair went to Dirichlet, but he succumbed to a heart attack a few years later. Dedekind was Gauss’s last student, and later colleague and friend of Dirichlet. Already in 1857, Dedekind =-=[6]-=- worked in modular arithmetic with the actually infinite residue classes themselves as unitary objects. His context was in fact Z[x], the polynomials of x with integer coefficients, and so he was ente... |

5 |
Georg Cantor and transcendental numbers
- Gray
- 1994
(Show Context)
Citation Context ...als must contain a real not in the sequence s. 5 Indeed, this is where Wittgenstein ([21], part II, 30-41) located what he took to be the problematic aspects of the talk of uncountability. 6 See Gray =-=[13]-=-. 5Cantor went on, of course, to develop his concept of cardinality based on oneto-one correspondences. Two totalities have the same cardinality exactly when there is a one-to-one correspondence betw... |

4 |
Stetigkeit und irrationale
- Dedekind
- 1927
(Show Context)
Citation Context ...n of the real numbers appeared in his seminal paper [1] on trigonometric series; proceeding in terms of “fundamental” sequences, he laid the basis for his theorems on sequential convergence. Dedekind =-=[7]-=- formulated the real numbers in terms of his “cuts” to express the completeness of the continuum; deriving the least upper bound principle as a simple consequence, he thereby secured the basic propert... |

4 |
des classes très–étendues de quantités dont la valeur n’est ni algébrique, ni même reductible à des irrationelles algébrique, Comptes rendus de l’Acad
- Liouville, Sur
(Show Context)
Citation Context ...countable. Cantor then established: For any (countable) sequence of reals, every interval contains a real not in the sequence. 4 By this means Cantor provided a new proof of Joseph Liouville’s result =-=[16, 17]-=- that there are transcendental (i.e. real, non-algebraic) numbers, and only afterward did Cantor point out the uncountability of the reals altogether. Accounts of Cantor’s existence deduction for tran... |

3 |
Remarks on the foundations of mathematics. Basil
- Wittgenstein
- 1967
(Show Context)
Citation Context ...any, in (a ′ , b ′ ); and so forth. Then however long this process continues, the intersection of the nested intervals must contain a real not in the sequence s. 5 Indeed, this is where Wittgenstein (=-=[21]-=-, part II, 30-41) located what he took to be the problematic aspects of the talk of uncountability. 6 See Gray [13]. 5Cantor went on, of course, to develop his concept of cardinality based on oneto-o... |

2 | Edited by Robert Fricke, Emmy Noether and Öystein Ore; reprinted by Chelsea Publishing - Vieweg, Baunschweig - 1930 |

2 |
remarques relatives 1 o a des classes tres-etendues de quantites dont la valeur n'est ni rationelle ni meme reductible a des irrationnelles algebriques; 2 o a un passage du livre des Principes ou Newton calcule l'action exercee par une sphere sur un point
- Liouville, Des
(Show Context)
Citation Context ...countable. Cantor then established: For any (countable) sequence of reals, every interval contains a real not in the sequence. 4 By this means Cantor provided a new proof of Joseph Liouville’s result =-=[16, 17]-=- that there are transcendental (i.e. real, non-algebraic) numbers, and only afterward did Cantor point out the uncountability of the reals altogether. Accounts of Cantor’s existence deduction for tran... |

1 | Collected Works I - Zermelo - 2010 |