Combining Texts
Ideas for
'Sweet Dreams', 'The Emperor's New 'Knows'' and 'Philosophies of Mathematics'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
20 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
10106
|
Rational numbers give answers to division problems with integers [George/Velleman]
|
10102
|
The integers are answers to subtraction problems involving natural numbers [George/Velleman]
|
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
10107
|
Real numbers provide answers to square root problems [George/Velleman]
|
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
9946
|
Logicists say mathematics is applicable because it is totally general [George/Velleman]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
10125
|
The classical mathematician believes the real numbers form an actual set [George/Velleman]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
17899
|
Second-order induction is stronger as it covers all concepts, not just first-order definable ones [George/Velleman]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10128
|
The Incompleteness proofs use arithmetic to talk about formal arithmetic [George/Velleman]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
17902
|
A successor is the union of a set with its singleton [George/Velleman]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
10133
|
Frege's Theorem shows the Peano Postulates can be derived from Hume's Principle [George/Velleman]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10130
|
Set theory can prove the Peano Postulates [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
10089
|
Talk of 'abstract entities' is more a label for the problem than a solution to it [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
10131
|
If mathematics is not about particulars, observing particulars must be irrelevant [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
17901
|
Type theory prohibits (oddly) a set containing an individual and a set of individuals [George/Velleman]
|
10092
|
In the unramified theory of types, the types are objects, then sets of objects, sets of sets etc. [George/Velleman]
|
10095
|
Type theory has only finitely many items at each level, which is a problem for mathematics [George/Velleman]
|
10094
|
The theory of types seems to rule out harmless sets as well as paradoxical ones. [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 8. Finitism
10134
|
Much infinite mathematics can still be justified finitely [George/Velleman]
|
10114
|
Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
10124
|
Gödel's First Theorem suggests there are truths which are independent of proof [George/Velleman]
|
10123
|
The intuitionists are the idealists of mathematics [George/Velleman]
|