display all the ideas for this combination of texts
6 ideas
18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
Full Idea: Both Cantor's real number (Cauchy sequences of rationals) and Dedekind's cuts involved regarding infinite items (sequences or sets) as completed and subject to further manipulation, bringing the completed infinite into mathematics unambiguously. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.1 n39) | |
A reaction: So it is the arrival of the real numbers which is the culprit for lumbering us with weird completed infinites, which can then be the subject of addition, multiplication and exponentiation. Maybe this was a silly mistake? |
18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
Full Idea: The line of development that finally led to a coherent foundation for the calculus also led to the explicit introduction of completed infinities: each real number is identified with an infinite collection of rationals. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) | |
A reaction: Effectively, completed infinities just are the real numbers. |
18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
Full Idea: The stunning discovery that infinity comes in different degrees led to the theory of infinite cardinal numbers, the heart of contemporary set theory. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
A reaction: It occurs to me that these huge cardinals only exist in set theory. If you took away that prop, they would vanish in a puff. |
18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
Full Idea: By the mid 1890s Cantor was aware that there could be no set of all sets, as its cardinal number would have to be the largest cardinal number, while his own theorem shows that for any cardinal there is a larger. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
A reaction: There is always a larger cardinal because of the power set axiom. Some people regard that with suspicion. |
18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
Full Idea: An 'inaccessible' cardinal is one that cannot be reached by taking unions of small collections of smaller sets or by taking power sets. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) | |
A reaction: They were introduced by Hausdorff in 1908. |
18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
Full Idea: Even the fundamental theorems about limits could not [at first] be proved because the reals themselves were not well understood. | |
From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
A reaction: This refers to the period of about 1850 (Weierstrass) to 1880 (Dedekind and Cantor). |