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/ …
@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. -
@Meaningness I got lost on the 'bag' paragraph. - 18 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.