36 ideas
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
21382 | Things get smaller without end [Anaxagoras] |
481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
13257 | The senses are too feeble to determine the truth [Anaxagoras] |
22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
6017 | Nomos is king [Pindar] |
18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
22726 | When things were unified, Mind set them in order [Anaxagoras] |
2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |
7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |