Amazing that you are just reading but already know what most mathematicians think about it :) Realistically and honestly, most mathematicians agree with it. Mo

Amazing that you are just reading but already know what most mathematicians think about it :) Realistically and honestly, most mathematicians agree with it. Most mathematicians consider constructivism to be useful AND a subset of normal mathematics. Also, it intellectually pains me to see proofs of meta theorems in intuitionistic logic use classical logic (not talking about object level proofs).