5 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] |
13197 | The notion of substance is one of the keys to true philosophy [Leibniz] |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |
13198 | Gravity is within matter because of its structure, and it can be explained. [Leibniz] |