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 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. -
@St_Rev “any function f: σ→𝛕 defines a bag of 𝛕” seems wrong to me. Not sure what he’s getting at there. - 17 more replies
New conversation -
-
-
@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.