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/ …
-
-
Replying to @Meaningness
The paper itself (http://arxiv.org/pdf/1407.7274v4.pdf …) is dense, and probably not at all intuitive if you don’t already know what he’s aiming at!
1 reply 0 retweets 1 like -
Replying to @Meaningness
@Meaningness Having a background in abstract algebra and no real understanding of programming is distressing these days.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@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.2 replies 0 retweets 0 likes -
-
Replying to @Meaningness
@St_Rev Oh, wait, no, I see. This is actually his main point. He doesn’t mean “defines”; he means “implicitly specifies.”2 replies 0 retweets 0 likes -
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.