display all the ideas for this combination of texts
3 ideas
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
8466 | For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein] |
8467 | Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein] |