display all the ideas for this combination of philosophers
8 ideas
| 17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
| Full Idea: The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130) | |
| A reaction: Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'. |
| 17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
| Full Idea: In the traditional exposition of the laws of logic certain fundamental arithmetic notions are already used, for example in the notion of set, and to some extent also of number. Thus we turn in a circle, and a partly simultaneous development is required. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.131) | |
| A reaction: If the Axiom of Infinity is meant, it may be possible to purge the arithmetic from the logic. Then the challenge to derive arithmetic from it becomes rather tougher. |
| 10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
| Full Idea: The solid philosophical attitude that I think is required for the grounding of pure mathematics is this: In the beginning was the sign. | |
| From: David Hilbert (works [1900]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Why did people invent those particular signs? Presumably they were meant to designate something, in the world or in our experience. |
| 10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
| Full Idea: Hilbert replaced a semantic construal of inconsistency (that the theory entails a statement that is necessarily false) by a syntactic one (that the theory formally derives the statement (0 =1 ∧ 0 not-= 1). | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Finding one particular clash will pinpoint the notion of inconsistency, but it doesn't seem to define what it means, since the concept has very wide application. |
| 22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
| Full Idea: Hilbert proposed to circuvent the paradoxes by means of the doctrine (already proposed by Poincaré) that in mathematics consistency entails existence. | |
| From: report of David Hilbert (On the Concept of Number [1900], p.183) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 19 'Exist' | |
| A reaction: Interesting. Hilbert's idea has struck me as weird, but it makes sense if its main motive is to block the paradoxes. Roughly, the idea is 'it exists if it isn't paradoxical'. A low bar for existence (but then it is only in mathematics!). |
| 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. |
| 10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
| Full Idea: Hilbert's project was to establish the consistency of classical mathematics using just finitary means, to convince all parties that no contradictions will follow from employing the infinitary notions and reasoning. | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This is the project which was badly torpedoed by Gödel's Second Incompleteness Theorem. |
| 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 |