4 ms·

> Constructive mathematics is the way forward. This sweeping assumption leads to my sweeping assumption that you are "a programmer".

• adamnemecek 8y ago
  Did you read the presentation? Did you read this? http://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016-01556-4/S0273-0979-2016-01556-4.pdf http://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016-... No, you are just closing your eyes and clinging to the sense of security that mathematics claims to provide. Your comment wasn’t very specific and concentrated in the peripheral part of my claim rather than the central.
  • 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 ago
      I’m just reading it but I disagree as would most mathematicians.
      • cscurmudgeon 8y ago
        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).