Combining Texts
Ideas for
'Through the Looking Glass', 'Introduction to the Philosophy of Mathematics' and 'Constructibility and Mathematical Existence'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
11 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
17928
|
Ordinal numbers represent order relations [Colyvan]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
17923
|
Intuitionists only accept a few safe infinities [Colyvan]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
17941
|
Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17922
|
Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
17936
|
Transfinite induction moves from all cases, up to the limit ordinal [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
17940
|
Most mathematical proofs are using set theory, but without saying so [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
17931
|
Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
17932
|
If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10265
|
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
|
8759
|
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
10264
|
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
|