16 ideas
| 12456 | I aim to establish certainty for mathematical methods [Hilbert] |
| Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods. | |
| From: David Hilbert (On the Infinite [1925], p.184) | |
| A reaction: This is the clearest statement of the famous Hilbert Programme, which is said to have been brought to an abrupt end by Gödel's Incompleteness Theorems. |
| 12461 | We believe all mathematical problems are solvable [Hilbert] |
| Full Idea: The thesis that every mathematical problem is solvable - we are all convinced that it really is so. | |
| From: David Hilbert (On the Infinite [1925], p.200) | |
| A reaction: This will include, for example, Goldbach's Conjecture (every even is the sum of two primes), which is utterly simple but with no proof anywhere in sight. |
| 9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
| Full Idea: No one shall drive us out of the paradise the Cantor has created for us. | |
| From: David Hilbert (On the Infinite [1925], p.191), quoted by James Robert Brown - Philosophy of Mathematics | |
| A reaction: This is Hilbert's famous refusal to accept any account of mathematics, such as Kant's, which excludes actual infinities. Cantor had laid out a whole glorious hierarchy of different infinities. |
| 12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
| Full Idea: To preserve the simple formal rules of ordinary Aristotelian logic, we must supplement the finitary statements with ideal statements. | |
| From: David Hilbert (On the Infinite [1925], p.195) | |
| A reaction: I find very appealing the picture of mathematics as rooted in the physical world, and then gradually extended by a series of 'idealisations', which should perhaps be thought of as fictions. |
| 12462 | Only the finite can bring certainty to the infinite [Hilbert] |
| Full Idea: Operating with the infinite can be made certain only by the finitary. | |
| From: David Hilbert (On the Infinite [1925], p.201) | |
| A reaction: See 'Compactness' for one aspect of this claim. I think Hilbert was fighting a rearguard action, and his idea now has few followers. |
| 12455 | The idea of an infinite totality is an illusion [Hilbert] |
| Full Idea: Just as in the limit processes of the infinitesimal calculus, the infinitely large and small proved to be a mere figure of speech, so too we must realise that the infinite in the sense of an infinite totality, used in deductive methods, is an illusion. | |
| From: David Hilbert (On the Infinite [1925], p.184) | |
| A reaction: This is a very authoritative rearguard action. I no longer think the dispute matters much, it being just a dispute over a proposed new meaning for the word 'number'. |
| 12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
| Full Idea: A homogeneous continuum which admits of the sort of divisibility needed to realise the infinitely small is nowhere to be found in reality. | |
| From: David Hilbert (On the Infinite [1925], p.186) | |
| A reaction: He makes this remark as a response to Planck's new quantum theory (the year before the big works of Heisenberg and Schrödinger). Personally I don't see why infinities should depend on the physical world, since they are imaginary. |
| 12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
| Full Idea: The subject matter of mathematics is the concrete symbols themselves whose structure is immediately clear and recognisable. | |
| From: David Hilbert (On the Infinite [1925], p.192) | |
| A reaction: I don't think many people will agree with Hilbert here. Does he mean token-symbols or type-symbols? You can do maths in your head, or with different symbols. If type-symbols, you have to explain what a type is. |
| 18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
| Full Idea: We can conceive mathematics to be a stock of two kinds of formulas: first, those to which the meaningful communications of finitary statements correspond; and secondly, other formulas which signify nothing and which are ideal structures of our theory. | |
| From: David Hilbert (On the Infinite [1925], p.196), quoted by David Bostock - Philosophy of Mathematics 6.1 |
| 9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
| Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods. | |
| From: David Hilbert (On the Infinite [1925], p.184), quoted by James Robert Brown - Philosophy of Mathematics Ch.5 | |
| A reaction: This dream is famous for being shattered by Gödel's Incompleteness Theorem a mere six years later. Neverless there seem to be more limited certainties which are accepted in mathematics. The certainty of the whole of arithmetic is beyond us. |
| 8108 | Aesthetics presupposes a distinctive sort of experience, and a unified essence for art [Gardner] |
| Full Idea: Aesthetics traditionally has two presuppositions: the first is that there is a distinctive form of experience which is common to the appreciation of art and natural beauty; the second is that art has an essence or some sort of underlying unity. | |
| From: Sebastian Gardner (Aesthetics [1995], Intro) | |
| A reaction: Both must come up for discussion. I think the biggest problem for the first one is the place of sexual attraction, or even fancying a prawn sandwich. The second has been weakened by Marcel Duchamp's urinal, and modern fringe arts. |
| 8112 | Art works originate in the artist's mind, and appreciation is re-creating this mental object [Gardner] |
| Full Idea: A strong tradition in aesthetics (the 'idealist' view) regards works of art as existing originally in the artist's mind, and the appreciation of art as a matter of re-creating the artist's mental object. | |
| From: Sebastian Gardner (Aesthetics [1995], 2.2) | |
| A reaction: He mentions Collingwood and Croce. Against this is the view (Idea 7268) that what goes on in the artist's mind is just irrelevant. Freud is important here, suggesting that the artist doesn't quite know what he or she is doing. |
| 8111 | Aesthetic objectivists must explain pleasure being essential, but not in the object [Gardner] |
| Full Idea: The aesthetic objectivist faces the difficulty of accounting for the fact that pleasure is not in the object, and is necessary for, and not just a contingent accompaniment to, aesthetic response. | |
| From: Sebastian Gardner (Aesthetics [1995], 1.2.3) | |
| A reaction: The objectivist has to claim, not utterly implausibly, that if you don't get pleasure from certain works, then you 'ought' to. You can ignore a good work, but to deny that it gives pleasure is a failing in you. |
| 8109 | Aesthetic judgements necessarily require first-hand experience, unlike moral judgements [Gardner] |
| Full Idea: I am not within my rights to declare an object beautiful until I have seen it myself, ..unlike moral judgement, which (arguably) does not presuppose either a felt response or personal acquaintance. | |
| From: Sebastian Gardner (Aesthetics [1995], 1.1) | |
| A reaction: Particularists might argue that moral judgements also require exposure to the actual situation, if they are to be authentic and authoritative. We can also discuss principles of aesthetics in the absence of examples. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |