75 ideas
421 | Men who love wisdom must be inquirers into very many things indeed [Heraclitus] |
1491 | Everyone has the potential for self-knowledge and sound thinking [Heraclitus] |
5863 | Reason is eternal, but men are foolish [Heraclitus] |
8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
414 | Logos is common to all, but most people live as if they have a private understanding [Heraclitus] |
416 | Beautiful harmony comes from things that are in opposition to one another [Heraclitus] |
425 | A thing can have opposing tensions but be in harmony, like a lyre [Heraclitus] |
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
1312 | If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
12462 | Only the finite can bring certainty to the infinite [Hilbert] |
12455 | The idea of an infinite totality is an illusion [Hilbert] |
12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
15658 | The hidden harmony is stronger than the visible [Heraclitus] |
13782 | Everything gives way, and nothing stands fast [Heraclitus] |
11853 | A mixed drink separates if it is not stirred [Heraclitus] |
8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
427 | It is not possible to step twice into the same river [Heraclitus] |
11091 | You can bathe in the same river twice, but not in the same river stage [Quine on Heraclitus] |
2064 | If flux is continuous, then lack of change can't be a property, so everything changes in every possible way [Plato on Heraclitus] |
8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
430 | Senses are no use if the soul is corrupt [Heraclitus] |
1500 | When we sleep, reason closes down as the senses do [Heraclitus, by Sext.Empiricus] |
417 | Donkeys prefer chaff to gold [Heraclitus] |
426 | Sea water is life-giving for fish, but not for people [Heraclitus] |
431 | Health, feeding and rest are only made good by disease, hunger and weariness [Heraclitus] |
429 | To God (though not to humans) all things are beautiful and good and just [Heraclitus] |
12294 | Good and evil are the same thing [Heraclitus, by Aristotle] |
419 | If one does not hope, one will not find the unhoped-for, since nothing leads to it [Heraclitus] |
415 | If happiness is bodily pleasure, then oxen are happy when they have vetch to eat [Heraclitus] |
5155 | It is hard to fight against emotion, but harder still to fight against pleasure [Heraclitus] |
433 | For man character is destiny [Heraclitus] |
422 | The people should fight for the law as if for their city-wall [Heraclitus] |
614 | Heraclitus said sometimes everything becomes fire [Heraclitus, by Aristotle] |
424 | Reason tells us that all things are one [Heraclitus] |
5096 | Heraclitus says that at some time everything becomes fire [Heraclitus, by Aristotle] |
17539 | The sayings of Heraclitus are still correct, if we replace 'fire' with 'energy' [Heraclitus, by Heisenberg] |
3054 | Heraclitus said fire could be transformed to create the other lower elements [Heraclitus, by Diog. Laertius] |
15660 | Logos is the source of everything, and my theories separate and explain each nature [Heraclitus] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
12269 | All things are in a state of motion [Heraclitus, by Aristotle] |
420 | The cosmos is eternal not created, and is an ever-living and changing fire [Heraclitus] |
1499 | Heraclitus says intelligence draws on divine reason [Heraclitus, by Sext.Empiricus] |
15659 | Purifying yourself with blood is as crazy as using mud to wash off mud [Heraclitus] |
1501 | In their ignorance people pray to statues, which is like talking to a house [Heraclitus] |