@St_Rev chops than I do and ran with it. But it’s 25 years later and slightly weird to see him doing the same thing still.
@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. - 7 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.