17 ideas
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
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] |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
10993 | Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read] |
14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
9420 | Causal laws result from the simplest axioms of a complete deductive system [Ramsey] |
9418 | All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |