19 ideas
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
12461 | We believe all mathematical problems are solvable [Hilbert] |
13412 | Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf] |
13413 | We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf] |
13411 | If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf] |
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] |
13415 | An adequate account of a number must relate it to its series [Benacerraf] |
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] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
15473 | How does anything get outside itself? [Fodor, by Martin,CB] |
2981 | Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor] |
2985 | Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor] |
3135 | Is thought a syntactic computation using representations? [Fodor, by Rey] |
2983 | Maybe narrow content is physical, broad content less so [Lyons on Fodor] |