| 18090 | Without infinity time has limits, magnitudes are indivisible, and numbers come to an end [Aristotle] |
| Full Idea: If there is, unqualifiedly, no infinite, it is clear that many impossible things result. For there will be a beginning and an end of time, and magnitudes will not be divisible into magnitudes, and number will not be infinite. | |
| From: Aristotle (Physics [c.337 BCE], 206b09), quoted by David Bostock - Philosophy of Mathematics 1.8 | |
| A reaction: This is a commitment to infinite time, and uncountable real numbers, and infinite ordinals. Dedekind cuts are implied. Nice. |
| 7555 | Zeno achieved the statement of the problems of infinitesimals, infinity and continuity [Russell on Zeno of Citium] |
| Full Idea: Zeno was concerned with three increasingly abstract problems of motion: the infinitesimal, the infinite, and continuity; to state the problems is perhaps the hardest part of the philosophical task, and this was done by Zeno. | |
| From: comment on Zeno (Citium) (fragments/reports [c.294 BCE]) by Bertrand Russell - Mathematics and the Metaphysicians p.81 | |
| A reaction: A very nice tribute, and a beautiful clarification of what Zeno was concerned with. |
| 8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
| Full Idea: Euclid's Postulate 2 says the geometer can 'produce a finite straight line continuously in a straight line'. | |
| From: report of Euclid (Elements of Geometry [c.290 BCE]) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: The point being that this takes infinity for granted, especially if you start counting how many points there are on the line. The Einstein idea that it might eventually come round and hit you on the back of the head would have charmed Euclid. |
| 13151 | Not all infinites are equal [Newton] |
| Full Idea: It is an error that all infinites are equal. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.01.17) | |
| A reaction: There follows a discussion of the mathematicians' view of infinity. Cantor was not the first to notice that there is more than one sort of of infinity. |
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| Full Idea: A truly infinite quantity (for example, the length of a straight line, unbounded in either direction) does not by any means need to be a variable. | |
| From: Bernard Bolzano (Paradoxes of the Infinite [1846]), quoted by Brian Clegg - Infinity: Quest to Think the Unthinkable §10 | |
| A reaction: This is an important idea, followed up by Cantor, which relegated to the sidelines the view of infinity as simply something that could increase without limit. Personally I like the old view, but there is something mathematically stable about infinity. |
| 15902 | Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine] |
| Full Idea: From the very nature of an irrational number, it seems necessary to understand the mathematical infinite thoroughly before an adequate theory of irrationals is possible. Infinite classes are obvious in the Dedekind Cut, but have logical difficulties | |
| From: report of George Cantor (works [1880]) by Shaughan Lavine - Understanding the Infinite II Intro | |
| A reaction: Almost the whole theory of analysis (calculus) rested on the irrationals, so a theory of the infinite was suddenly (in the 1870s) vital for mathematics. Cantor wasn't just being eccentric or mystical. |
| 15908 | It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine] |
| Full Idea: Cantor's 1891 diagonal argument revealed there are infinitely many infinite powers. Indeed, it showed more: it shows that given any set there is another of greater power. Hence there is an infinite power strictly greater than that of the set of the reals. | |
| From: report of George Cantor (works [1880]) by Shaughan Lavine - Understanding the Infinite III.2 |
| 9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
| Full Idea: No one shall drive us out of the paradise the Cantor has created for us. | |
| From: David Hilbert (On the Infinite [1925], p.191), quoted by James Robert Brown - Philosophy of Mathematics | |
| A reaction: This is Hilbert's famous refusal to accept any account of mathematics, such as Kant's, which excludes actual infinities. Cantor had laid out a whole glorious hierarchy of different infinities. |
| 12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
| Full Idea: To preserve the simple formal rules of ordinary Aristotelian logic, we must supplement the finitary statements with ideal statements. | |
| From: David Hilbert (On the Infinite [1925], p.195) | |
| A reaction: I find very appealing the picture of mathematics as rooted in the physical world, and then gradually extended by a series of 'idealisations', which should perhaps be thought of as fictions. |
| 12462 | Only the finite can bring certainty to the infinite [Hilbert] |
| Full Idea: Operating with the infinite can be made certain only by the finitary. | |
| From: David Hilbert (On the Infinite [1925], p.201) | |
| A reaction: See 'Compactness' for one aspect of this claim. I think Hilbert was fighting a rearguard action, and his idea now has few followers. |
| 14420 | Infinity and continuity used to be philosophy, but are now mathematics [Russell] |
| Full Idea: The nature of infinity and continuity belonged in former days to philosophy, but belongs now to mathematics. | |
| From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], Pref) | |
| A reaction: It is hard to disagree, since mathematicians since Cantor have revealed so much about infinite numbers (through set theory), but I think it remains an open question whether philosophers have anything distinctive to contribute. |
| 14119 | We do not currently know whether, of two infinite numbers, one must be greater than the other [Russell] |
| Full Idea: It is not at present known whether, of two different infinite numbers, one must be greater and the other less. | |
| From: Bertrand Russell (The Principles of Mathematics [1903], §118) | |
| A reaction: This must refer to cardinal numbers, as ordinal numbers have an order. The point is that the proper subset is equal to the set (according to Dedekind). |
| 14133 | There are cardinal and ordinal theories of infinity (while continuity is entirely ordinal) [Russell] |
| Full Idea: The theory of infinity has two forms, cardinal and ordinal, of which the former springs from the logical theory of numbers; the theory of continuity is purely ordinal. | |
| From: Bertrand Russell (The Principles of Mathematics [1903], §249) |
| 18708 | Infinity is not a number, so doesn't say how many; it is the property of a law [Wittgenstein] |
| Full Idea: 'Infinite' is not an answer to the question 'How many?', since the infinite is not a number. ...Infinity is the property of a law, not of an extension. | |
| From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], A VII.2) |
| 17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
| Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 05) |
| 10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
| Full Idea: The existence of infinitely many natural numbers seems to me no more troubling than that of infinitely many computer programs or sentences of English. There is, for example, no longest sentence, since any number of 'very's can be inserted. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: If you really resisted an infinity of natural numbers, presumably you would also resist an actual infinity of 'very's. The fact that it is unclear what could ever stop a process doesn't guarantee that the process is actually endless. |
| 9813 | Mathematics shows that thinking is not confined to the finite [Badiou] |
| Full Idea: Mathematics teaches us that there is no reason whatsoever to confne thinking within the ambit of finitude. | |
| From: Alain Badiou (Mathematics and Philosophy: grand and little [2004], p.19) | |
| A reaction: This would perhaps make Cantor the greatest thinker who ever lived. It is an exhilarating idea, but we should ward the reader against romping of into unrestrained philosophical thought about infinities. You may be jumping without your Cantorian parachute. |
| 13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
| Full Idea: Mathematical induction is a way to establish truths about the infinity of natural numbers by a finite proof. | |
| From: William D. Hart (The Evolution of Logic [2010], 5) | |
| A reaction: If there are truths about infinities, it is very tempting to infer that the infinities must therefore 'exist'. A nice, and large, question in philosophy is whether there can be truths without corresponding implications of existence. |
| 17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
| Full Idea: In Cantor's new vision, the infinite, the genuine infinite, does not disappear, but presents itself in the guise of the absolute, as manifested in the species of all sets or the species of all ordinal numbers. | |
| From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) |
| 17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
| Full Idea: We may describe Cantor's achievement by saying, not that he tamed the infinite, but that he extended the finite. | |
| From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) |
| 18518 | Infinite numbers are qualitatively different - they are not just very large numbers [Heil] |
| Full Idea: It is a mistake to think of an infinite number as a very large number. Infinite numbers differ qualitatively from finite numbers. | |
| From: John Heil (The Universe as We Find It [2012], 03.5) | |
| A reaction: He cites Dedekind's idea that a proper subset of an infinite number can match one-one with the number. Respectable numbers don't behave in this disgraceful fashion. This should be on the wall of every seminar on philosophy of mathematics. |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| Full Idea: As far as Kronecker was concerned, Cantor had built a whole structure on the irrational numbers, and so that structure had no foundation at all. | |
| From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
| 15947 | The infinite is extrapolation from the experience of indefinitely large size [Lavine] |
| Full Idea: My proposal is that the concept of the infinite began with an extrapolation from the experience of indefinitely large size. | |
| From: Shaughan Lavine (Understanding the Infinite [1994], VIII.2) | |
| A reaction: I think it might be better to talk of an 'abstraction' than an 'extrapolition', since the latter is just more of the same, which doesn't get you to concept. Lavine spends 100 pages working out his proposal. |
| 15949 | The theory of infinity must rest on our inability to distinguish between very large sizes [Lavine] |
| Full Idea: The indiscernibility of indefinitely large sizes will be a critical part of the theory of indefinitely large sizes. | |
| From: Shaughan Lavine (Understanding the Infinite [1994], VIII.2) |
| 17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
| Full Idea: We might arrive to the concept of infinity by composing concepts of negation and finiteness. | |
| From: Carrie Jenkins (Grounding Concepts [2008], 5.3) | |
| A reaction: Presumably lots of concepts can be arrived at by negating prior concepts (such as not-wet, not-tall, not-loud, not-straight). So not-infinite is perfectly plausible, and is a far better account than some a priori intuition of pure infinity. Love it. |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| Full Idea: For intuitionists, all but the smallest, most well-behaved infinities are rejected. | |
| From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
| A reaction: The intuitionist idea is to only accept what can be clearly constructed or proved. |