Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'A Tour through Mathematical Logic' and 'The Philosophy of Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
13530
|
An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
18200
|
Very large sets should be studied in an 'if-then' spirit [Putnam]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13518
|
Modern mathematics has unified all of its objects within set theory [Wolf,RS]
|
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
18199
|
Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam]
|
8857
|
We must quantify over numbers for science; but that commits us to their existence [Putnam]
|