@Meaningness Having a background in abstract algebra and no real understanding of programming is distressing these days.
-
-
@St_Rev Yeah, I’m not sure that his “foundations” would be useful to analysts :-)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Meaningness (rigidity is borrowed from geometry; fewer allowed functions makes your geometry 'stiffer', more makes it 'floppier') -
@St_Rev Ah… interesting… that actually *is* the kind of intuition that he wants to capture, I think. -
@Meaningness Be interested to see a formalism that, intuitively, starts 'here' and works 'out' rather than goes up from a foundation. -
@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”. -
@St_Rev Non-standard reals get you that, but you need several metric tons of cast-iron machinery. -
@Meaningness Which...is an implementation - 3 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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.