4 ideas
10066 | Putnam coined the term 'if-thenism' [Putnam, by Musgrave] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |