Combining Texts
Ideas for
'Isagoge ('Introduction')', 'The Universe as We Find It' and 'Logical Consequence'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
18518
|
Infinite numbers are qualitatively different - they are not just very large numbers [Heil]
|
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692
|
Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
18500
|
How could structures be mathematical truthmakers? Maths is just true, without truthmakers [Heil]
|