4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |