display all the ideas for this combination of texts
2 ideas
| 13672 | All the axioms for mathematics presuppose set theory [Neumann] |
| Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
| From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
| A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
| 21570 | Numbers are just verbal conveniences, which can be analysed away [Russell] |
| Full Idea: Numbers are nothing but a verbal convenience, and disappear when the propositions that seem to contain them are fully written out. | |
| From: Bertrand Russell (Is Mathematics purely Linguistic? [1952], p.301) | |
| A reaction: This is the culmination of the process which began with his 1905 theory of definite descriptions. The intervening step was Wittgenstein's purely formal account of the logical connectives. |