4 ideas
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |