> I'd think of this as more like foundations of computability theory, but, yeah, this seems like another viable angle for me.
Nah I would call this foundation of computer science.
Nah I would call this foundation of computer science.
"What does his lucid explanation amount to but this, that in theory there is no difference between theory and practice, while in practice there is?" –Benjamin Brewster, 1882