5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
3644 | Two things being joined together doesn't prove they are the same [Descartes] |
3621 | Only judgement decides which of our senses are reliable [Descartes] |
3637 | Ideas in God's mind only have value if he makes it so [Descartes] |