4 ideas
8658 | For there was never yet philosopher/ That could endure the toothache patiently [Shakespeare] |
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] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |