Foundational formalism, more intuitive than ZFC or category theory, by my sometime-officemate David McAllesterhttps://machinethoughts.wordpress.com/2015/01/27/the-foundations-of-mathematics-2/ …
@Meaningness Having a background in abstract algebra and no real understanding of programming is distressing these days.
-
-
@St_Rev The intuitions are simple and powerful… I was thinking along similar lines in mid-80s and we discussed a lot. He’s got way more math -
@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 Although in some sense http://meaningness.com is a rewrite of my thesis. But it’s got better jokes in it, -
@St_Rev and probably no one else would notice any connection.
End of conversation
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.