display all the ideas for this combination of texts
2 ideas
9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
Full Idea: I do not believe mathematics either has or needs 'foundations'. | |
From: Hilary Putnam (Mathematics without Foundations [1967]) | |
A reaction: Agreed that mathematics can function well without foundations (given that the enterprise got started with no thought for such things), the ontology of the subject still strikes me as a major question, though maybe not for mathematicians. |
9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
Full Idea: I believe that under certain circumstances revisions in the axioms of arithmetic, or even of the propositional calculus (e.g. the adoption of a modular logic as a way out of the difficulties in quantum mechanics), is fully conceivable. | |
From: Hilary Putnam (Mathematics without Foundations [1967], p.303) | |
A reaction: One can change the axioms of a system without necessarily changing the system (by swapping an axiom and a theorem). Especially if platonism is true, since the eternal objects reside calmly above our attempts to axiomatise them! |