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 thought I’d read you can’t get far with that. Have a handy url for a summary?
For constructive analysis, there's http://www.springer.com/us/book/9783642649059 …. For synthetic differentiation, you can only do differential geometry
So, apparently you can’t prove the intermediate value theorem… which is sort of exactly what reals are for. https://en.m.wikipedia.org/wiki/Constructive_analysis …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.