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. |
16861 | A false theory could hardly rival the explanatory power of natural selection [Darwin] |
Full Idea: It can hardly be supposed that a false theory would explain, in so satisfactory a manner as does the theory of natural selection, the several large classes of facts above specified. | |
From: Charles Darwin (The Origin of the Species [1859], p.476), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific' | |
A reaction: More needs to be said, since the whims of God could explain absolutely everything (in a manner that would be somehow less that fully satisfying to the enquiring intellect). |
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. |
1451 | Design is seen in the way ideas match the world, in the mechanisms of evolution, and in values [Tennant,FR, by PG] |
Full Idea: There is evidence for design in the correspondence of pure ideas to the world, in the origin and mechanism of evolution, and in the existence of moral values and beauty. | |
From: report of F.R. Tennant (Philosophical Theology [1930], II.IV) by PG - Db (ideas) |