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
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,
but I figure it is so esoteric that not many people will be harmed, and also that it will probably fizzle out in a decade or so.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.