5 ideas
| 17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
| Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 05) |
| 17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
| Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 06) | |
| A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job. |
| 18202 | The concept of a field gradually replaced the substances in explaining relations between charges [Einstein/Infeld] |
| Full Idea: In the beginning the field concept was no more than a means of facilitating the understanding of phenomena. ...In the new field language it is the field and not the charges themselves which is essential. The substance was overshadowed by the field. | |
| From: Einstein,A/Infeld,L (The Evolution of Physics [1938], p.151), quoted by Penelope Maddy - Naturalism in Mathematics II.4 | |
| A reaction: This is very important for philosophical metaphysicians, especially those like me who want to explain the universe by the nature of the stuff that composes it. The 'stuff' had better not be simplistic individual 'substances'. |
| 17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |
| Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 13) | |
| A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one. |
| 651 | Eurytus showed that numbers underlie things by making pictures of creatures out of pebbles [Eurytus, by Aristotle] |
| Full Idea: Eurytus assigned numbers to things by taking some pebbles and using them to create likeness of the shapes of living things, such as a man or a horse. | |
| From: report of Eurytus (fragments/reports [c.400 BCE]) by Aristotle - Metaphysics 1092b | |
| A reaction: Pythagorean. Digitising reality. |