more from David Hilbert

Single Idea 18844

[catalogued under 5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle]

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.

Gist of Idea

You would cripple mathematics if you denied Excluded Middle


David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4

Book Reference

Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.285

A Reaction

[p.476 in Van Heijenoort]