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] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
1497 | For Anaximenes nature is air, which takes different forms by rarefaction and condensation [Anaximenes, by Simplicius] |