display all the ideas for this combination of texts
3 ideas
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
Full Idea: Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought. | |
From: report of David Hilbert (works [1900], 6.7) by Michèle Friend - Introducing the Philosophy of Mathematics | |
A reaction: I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault. |
18738 | We don't get 'nearer' to something by adding decimals to 1.1412... (root-2) [Wittgenstein] |
Full Idea: We say we get nearer to root-2 by adding further figures after the decimal point: 1.1412.... This suggests there is something we can get nearer to, but the analogy is a false one. | |
From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], Notes) |
18708 | Infinity is not a number, so doesn't say how many; it is the property of a law [Wittgenstein] |
Full Idea: 'Infinite' is not an answer to the question 'How many?', since the infinite is not a number. ...Infinity is the property of a law, not of an extension. | |
From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], A VII.2) |