I keep trying to get the gist of type theory and it's like eating unflavored jello.
-
-
I haven't bothered to work through the details, but my working assumption assume if you assume countability it collapses into mathematically trivial (which is why there are no results). It's just notation.
-
I am reminded of
@dannyhillis's satire "Dynamics of Manipulators with Less Than One Degree of Freedom": https://dspace.mit.edu/handle/1721.1/41188 …
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.