19 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. |
| 19451 | When absorbed in deep reflection, is your reason in control, or is it you? [Feuerbach] |
| Full Idea: When, submerged in deep reflection, you forget both yourself and your surroundings, is it you who controls reason, or is it rather reason that controls and absorbs you? | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], I) | |
| A reaction: A delightful question, even if it looks like a false dichotomy. I'm not sure what to make of 'me', if my reason can be subtracted from it. Aquinas was one the same wavelength here. |
| 6649 | Chomsky now says concepts are basically innate, as well as syntax [Chomsky, by Lowe] |
| Full Idea: Chomsky now contends that not only the syntax of natural language but also the concepts expressible in it have an innate basis. | |
| From: report of Noam Chomsky (Chomsky on himself [1994]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.7 n25 | |
| A reaction: This seems to follow Fodor, who has been mocked for implying that we have an innate idea of a screwdriver etc. Note that Chomsky says concepts have an innate 'basis'. This fits well with modern (cautious) rationalism, with which I am happy. |
| 19450 | Reason, love and will are the highest perfections and essence of man - the purpose of his life [Feuerbach] |
| Full Idea: Reason, love and power of will are perfections of man; they are his highest powers, his absolute essence in so far as he is man, the purpose of his existence. Man exists in order to think, love and will. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], I) | |
| A reaction: Feuerbach was a notable atheist, but adopts a religious style of language which modern atheists would find rather alien. Personally I love talk of ideals and perfections. Ideals have been discredited in modern times, but need a revival. |
| 19448 | Consciousness is said to distinguish man from animals - consciousness of his own species [Feuerbach] |
| Full Idea: What constitutes the essential difference between man and animal? The most simple, general, and most widely held answer to this question is consciousness. Consciousness is given only in the case of a being to whom his species ...is an object of thought. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], I) | |
| A reaction: Rather speculative. Since other species cohabit and breed only with their fellow species members, one might have thought they were aware of them. |
| 19454 | A God needs justice, kindness and wisdom, but those concepts don't depend on the concept of God [Feuerbach] |
| Full Idea: The concept of God depends on the concepts of justice, kindness and wisdom - a God who is not kind, not just, and not wise is no God. But these concepts do not depend on the concept of God. That a quality is possessed by God does not make it divine. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], II) | |
| A reaction: This is part of Feuerbach's argument for atheism, but if you ask for the source of our human concepts of justice, kindness and wisdom, no one, I would have thought, could cite God for the role. |
| 19452 | The nature of God is an expression of human nature [Feuerbach] |
| Full Idea: God is the manifestation of man's inner nature, his expressed self. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], II) | |
| A reaction: Even if you are a deeply committed theist, you have to concede some of this point. The perfections attributed to God are usually of human qualities. Leibniz, though, says that God has an infinity of perfection, mostly unknown to us. |
| 19453 | If love, goodness and personality are human, the God who is their source is anthropomorphic [Feuerbach] |
| Full Idea: If love, goodness, and personality are human determinations, the being which constitutes their source and ...their presupposition is also an anthropomorphism; so is the existence of God. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], II) | |
| A reaction: It is certainly a struggle for the imagination to grasp a being which is characterised by idealised versions of human virtues, and yet has an intrinsic nature which is utterly different from humanity. |
| 19449 | Religion is the consciousness of the infinite [Feuerbach] |
| Full Idea: Religion is the consciousness of the infinite. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], I) |
| 19455 | Today's atheism will tomorrow become a religion [Feuerbach] |
| Full Idea: What is regarded as atheism today will be religion tomorrow. | |
| From: Ludwig Feuerbach (Introduction of 'Essence of Christianity' [1841], II) | |
| A reaction: Modern critics of atheism frequently accuse it of being a new religion. I doubt whether Feuerbach is right, but it is a nice provocative idea. |