more on this theme     |     more from this thinker


Single Idea 17806

[filed under theme 6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism ]

Full Idea

According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today.

Gist of Idea

It is untenable that mathematics is general physical truths, because it needs infinity

Source

Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem')

Book Ref

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.202


A Reaction

I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism?


The 3 ideas from 'Remarks on the definition and nature of mathematics'

Saying mathematics is logic is merely replacing one undefined term by another [Curry]
To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]
It is untenable that mathematics is general physical truths, because it needs infinity [Curry]