Just had one if these long discussions with a smart mathematician, and now I notice that sometimes I get the impression that computationalism (the only working philosophical edifice left) is non-obvious to 90% of people. I find that genuinely puzzling.
Mathematics is just the domain of formal languages. Of course it is independent from reality. And most of it is uncomputable. Constructive mathematics is the subset of mathematics that is computational, but computation should better be treated as a separate class.
7:22 PM - 13 Jan 2018
0 replies
1 retweet
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.