@St_Rev Oh, wait, no, I see. This is actually his main point. He doesn’t mean “defines”; he means “implicitly specifies.”
@St_Rev Example from the paper is that Dedekind cuts and Cauchy sequences are *not* real numbers as working mathematicians think about them.
-
-
@St_Rev You should be able to just say what reals do without having to specify an “implementation”. -
@St_Rev Non-standard reals get you that, but you need several metric tons of cast-iron machinery. - 4 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.