Combining Texts
Ideas for
'What is Logic?st1=Ian Hacking', 'Elements of Geometry' and 'Logicism Revisited'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
7 ideas
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
|
14157
|
Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
|
|
22278
|
Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
|
|
8673
|
Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
|
|
10250
|
Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
|
|
10302
|
Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
|
10058
|
No two numbers having the same successor relies on the Axiom of Infinity [Musgrave]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
|
1600
|
Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
|