Yes, this is probably misleading and imprecise! But we don’t have a coherent account of what’s going on here.https://twitter.com/bombaybornbum/status/862394132261732353 …
Through nominal use of those formal structures, we can specify both computations, and concepts. That border we call a programming language.
-
-
This abstraction allows us to specify a series of complex cardinal operations (canonically NAND) on integers to, say, deliver a tweetstorm.
-
The extensive *formal* use of the nominal property of number explains the fascination with category theory. As well as the sense of humor. ៚
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.