display all the ideas for this combination of texts
2 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
Full Idea: From the intuitionist standpoint the dogma of the universal validity of the principle of excluded third in mathematics can only be considered as a phenomenon of history of civilization, like the rationality of pi or rotation of the sky about the earth. | |
From: Luitzen E.J. Brouwer (works [1930]), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
A reaction: [Brouwer 1952:510-11] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |