19 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] |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
17501 | Representational success in models depends on success of their explanations [Portides] |
17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |