Ideas of Haskell B. Curry, by Theme

[American, 1900 - 1982, Studied in Germany. Professor at Penn State University.]

idea number gives full details    |    back to list of philosophers    |     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