16 ideas
| 16123 | Whenever you perceive a community of things, you should also hunt out differences in the group [Plato] |
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 16125 | To reveal a nature, divide down, and strip away what it has in common with other things [Plato] |
| 16124 | No one wants to define 'weaving' just for the sake of weaving [Plato] |
| 8942 | Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher] |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| 5961 | The soul gets its goodness from god, and its evil from previous existence. [Plato] |
| 283 | The question of whether or not to persuade comes before the science of persuasion [Plato] |
| 282 | Non-physical beauty can only be shown clearly by speech [Plato] |
| 281 | The arts produce good and beautiful things by preserving the mean [Plato] |
| 22559 | Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle] |
| 279 | Only divine things can always stay the same, and bodies are not like that [Plato] |