Why the taboo on talking about what mathematics is and how it works? A guess: https://meaningness.com/metablog/how-to-think/comments#comment-1627 …pic.twitter.com/P6WZCqybD5
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
“Almost all functions are uncomputable? OK, we’ll just declare those are Not OK, and agree to pretend they aren’t there.”
I don’t think this is a good idea. Generally, this approach is harmful:https://meaningness.com/eternalism-considered-harmful …
But I am not sure this is what is going on with FP/Coq/constructivism/etc. Sometimes I’m tempted to do the work to form a definite opinion,
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.