Combining Texts

Ideas for 'works', 'Elements of Geometry' and 'True to the Facts'

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

display all the ideas for this combination of texts


37 ideas

6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Cantor proved the points on a plane are in one-to-one correspondence to the points on a line [Cantor, by Lavine]
An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Cantor took the ordinal numbers to be primary [Cantor, by Tait]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Cantor introduced the distinction between cardinals and ordinals [Cantor, by Tait]
Cantor showed that ordinals are more basic than cardinals [Cantor, by Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
A cardinal is an abstraction, from the nature of a set's elements, and from their order [Cantor]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Cantor tried to prove points on a line matched naturals or reals - but nothing in between [Cantor, by Lavine]
Cantor's diagonal argument proved you can't list all decimal numbers between 0 and 1 [Cantor, by Read]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine]
Irrational numbers are the limits of Cauchy sequences of rational numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
A unit is that according to which each existing thing is said to be one [Euclid]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine]
It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Cantor proposes that there won't be a potential infinity if there is no actual infinity [Cantor, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
The naturals won't map onto the reals, so there are different sizes of infinity [Cantor, by George/Velleman]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The Continuum Hypothesis says there are no sets between the natural numbers and reals [Cantor, by Shapiro]
CH: An infinite set of reals corresponds 1-1 either to the naturals or to the reals [Cantor, by Koellner]
Cantor: there is no size between naturals and reals, or between a set and its power set [Cantor, by Hart,WD]
Cantor's Continuum Hypothesis says there is a gap between the natural and the real numbers [Cantor, by Horsten]
Continuum Hypothesis: there are no sets between N and P(N) [Cantor, by Wolf,RS]
Continuum Hypothesis: no cardinal greater than aleph-null but less than cardinality of the continuum [Cantor, by Chihara]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy]
Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Cantor, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Pure mathematics is pure set theory [Cantor]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Cantor says that maths originates only by abstraction from objects [Cantor, by Frege]