@St_Rev “any function f: σ→𝛕 defines a bag of 𝛕” seems wrong to me. Not sure what he’s getting at there.
@St_Rev I think that’s the idea, actually! you start by specifying the behavior of a class of mathematical objects. There’s no bottom.
-
-
@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”. - 5 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.