Bertus
"Once and for all there is a great deal I do not want to know - Wisdom sets bounds even to knowledge"
(F. Nietzsche - Twilight of the idols)
" (...) I hope I have made clear that intuitionism on the one hand subtilizes logic, on the other hand denounces logic as a source of truth. Further that intuitionistic mathematics is inner architecture, and that research in foundations of mathematics is inner inquiry with revealing and liberating consequences, also in non-mathematical domains of thought."
in
" (...) In fact, mathematics, from the intuitionistic point of view, is a study of certain functions of the human mind"
( Heyting, Arend, Intuitionism, an Introduction, (1956), Amsterdam-North Holland )
1. " (...) Mathematicians have a loathing for ambiguity and indefiniteness, so that often a manifold is defined by one of two polite fictions: an equivalence class of G-atlases, or a maximal G-atlas. Either object is so huge and complicated as to be unimaginable ... "
( Thurston, W. P., Three-Dimensional Geometry and Topology, Vol.1 (1997), Princeton University Press, pp.111 )