18 ideas
| 12456 | I aim to establish certainty for mathematical methods [Hilbert] |
| 12461 | We believe all mathematical problems are solvable [Hilbert] |
| 12462 | Only the finite can bring certainty to the infinite [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] |
| 12455 | The idea of an infinite totality is an illusion [Hilbert] |
| 12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| 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] |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |