15 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] |
| 19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
| 19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
| 19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
| 13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
| 9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |