4 ideas
21829 | Philosophy aims to understand how things (broadly understood) hang together (broadly understood) [Sellars] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
6550 | Reduction requires that an object's properties consist of its constituents' properties and relations [Sellars] |