Combining Texts
Ideas for
'works', 'Intuitionism: an Introduction' and 'Categories'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
4 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
11044
|
One is prior to two, because its existence is implied by two [Aristotle]
|
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
11042
|
Parts of a line join at a point, so it is continuous [Aristotle]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
11041
|
Some quantities are discrete, like number, and others continuous, like lines, time and space [Aristotle]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
8754
|
Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]
|