Single Idea 17881

[catalogued under 6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism]

Full Idea

Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that.

Gist of Idea

Mathematician want performable operations, not propositions about objects

Source

Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300)

Book Reference

'From Frege to Gödel 1879-1931', ed/tr. Heijenoort,Jean van [Harvard 1967], p.300