Quote by Brouwer, Luitzen Egbertus Jan
"In intuitionistic logic, we find not fewer truths, but truer truths."
"In intuitionistic logic, we find not fewer truths, but truer truths."
"Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding."
"The intuitionist does not accept the axiom of the excluded middle."
"Creating mathematics is like creating poetry or music."
"The act of intuitively creating a mathematical system requires freedom of thought."