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 - 20 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.