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
And maybe they were right not to, because trying to make sense of them led to Godel problems. But, you can’t do calculus without them.
Real numbers look finite on the outside, but hve actual infinities hidden within —and this seems to make mathematicians uneasy.
Better than floating point numbers, that look infinite on the outside, but are actually finite and horrifying.
Right. I'm more of a constructivist myself but clearly useful results proceed from the other path as well.
Well, my understanding is that attempts to do real analysis constructively have failed. And real analysis is kind of something we need…
Also, my takeaway from Gödel is: pick your axioms carefully. There is no grand unified axiom set and that's ok-- special/limited apps are 
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.