4 ms·
I’m just reading it but I disagree as would most mathematicians.
by adamnemecek 8y ago
I’m just reading it but I disagree as would most mathematicians.
- cscurmudgeon 8y agoAmazing 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).