4 ms·
Did you read this? https://www.jstor.org/stable/30226269?seq=1#page_scan_tab_contents https://www.jstor.org/stable/30226269?seq=1#page_scan_tab_co...
by cscurmudgeon 8y ago
Did you read this?
https://www.jstor.org/stable/30226269?seq=1#page_scan_tab_contents https://www.jstor.org/stable/30226269?seq=1#page_scan_tab_co...
- adamnemecek 8y agoI’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).