4 ideas
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] |
4422 | The end need not be the goal, as in the playing of a melody (and yet it must be completed) [Nietzsche] |
8592 | Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker] |