20 ideas
16123 | Whenever you perceive a community of things, you should also hunt out differences in the group [Plato] |
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] |
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
10045 | Impredicative definitions are admitted into ordinary mathematics [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] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
279 | Only divine things can always stay the same, and bodies are not like that [Plato] |