Combining Texts

Ideas for 'fragments/reports', 'The Theory of Transfinite Numbers' and 'works'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
     Full Idea: Cantor grafted the Power Set axiom onto his theory when he needed it to incorporate the real numbers, ...but his theory was supposed to be theory of collections that can be counted, but he didn't know how to count the new collections.
     From: report of George Cantor (The Theory of Transfinite Numbers [1897]) by Shaughan Lavine - Understanding the Infinite I
     A reaction: I take this to refer to the countability of the sets, rather than the members of the sets. Lavine notes that counting was Cantor's key principle, but he now had to abandon it. Zermelo came to the rescue.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling]
     Full Idea: The idea that there should be something like a distinction of levels among properties is captured in Ramsey's 'simple theory of types'.
     From: report of Frank P. Ramsey (works [1928]) by A.C. Grayling - Russell
     A reaction: I merely report this, though it is not immediately obvious how anyone would decide which 'level' a type belonged on.