Ideas from 'Remarks on the definition and nature of mathematics' by Haskell B. Curry [1954], by Theme Structure
[found in 'Philosophy of Mathematics: readings (2nd)' (ed/tr Benacerraf/Putnam) [CUP 1983,0-521-29648-x]].
green numbers give full details |
back to texts
|
expand these ideas
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
17807
|
To study formal systems, look at the whole thing, and not just how it is constructed in steps
|
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17806
|
It is untenable that mathematics is general physical truths, because it needs infinity
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17808
|
Saying mathematics is logic is merely replacing one undefined term by another
|