7 ideas
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |