21 ideas
6405 | Moore's 'The Nature of Judgement' (1898) marked the rejection (with Russell) of idealism [Moore,GE, by Grayling] |
7527 | Analysis for Moore and Russell is carving up the world, not investigating language [Moore,GE, by Monk] |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
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] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
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] |
22302 | Moor bypassed problems of correspondence by saying true propositions ARE facts [Moore,GE, by Potter] |
7526 | Hegelians say propositions defy analysis, but Moore says they can be broken down [Moore,GE, by Monk] |