35 ideas
21852 | Nomads are the basis of history, and yet almost unknowable [Deleuze] |
21844 | The history of philosophy is an agent of power: how can you think if you haven't read the great names? [Deleuze] |
21849 | Thought should be thrown like a stone from a war-machine [Deleuze] |
21845 | Philosophy aims to become the official language, supporting orthodoxy and the state [Deleuze] |
21839 | When I meet objections I just move on; they never contribute anything [Deleuze] |
21841 | We must create new words, and treat them as normal, and as if designating real things. [Deleuze] |
21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
21842 | Don't assess ideas for truth or justice; look for another idea, and establish a relationship with it [Deleuze] |
21850 | Dualisms can be undone from within, by tracing connections, and drawing them to a new path [Deleuze] |
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] |
21838 | Before we seek solutions, it is important to invent problems [Deleuze] |
21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
21899 | There is no being beyond becoming [Deleuze] |
21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
21847 | Before Being there is politics [Deleuze] |
21907 | We don't want another new set of categories; we want a variety of flexible categories [Deleuze, by May] |
21840 | A meeting of man and animal can be deterritorialization (like a wasp with an orchid) [Deleuze] |
21843 | People consist of many undetermined lines, some rigid, some supple, some 'lines of flight' [Deleuze] |
7350 | The Torah just says: do not do to your neighbour what is hateful to you [Hillel the Elder] |
21853 | We are currently extending capitalism to the whole of society [Deleuze] |
21848 | Some lines (of flight) are becomings which escape the system [Deleuze] |
21851 | The State requires self-preservation, but the war-machine desires destruction [Deleuze] |