It seems likely that math at least ought to contain the rationals! Although the Greeks might have trouble even going that far.
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 …
-
-
because it gives the wrong intermediate value theorem. Replace the f(x) = c with another epsilon delta
-
The point is to rarely if ever use =, and instead use approximation
- 10 more replies
New conversation -
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.