Combining Texts

Ideas for 'fragments/reports', 'The Foundations of Mathematics' and 'Essays on Intellectual Powers 2: Senses'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
You would cripple mathematics if you denied Excluded Middle [Hilbert]
     Full Idea: Taking the principle of Excluded Middle away from the mathematician would be the same, say, as prohibiting the astronomer from using the telescope or the boxer from using his fists.
     From: David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4
     A reaction: [p.476 in Van Heijenoort]