Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
What Is Computability Theory?
Computability theory was the first claim that computing made, to say there's really something interesting here with content. Three different groups did it - one from church, one from girdle and one from turring. One of the most cited papers ever was done by turring as an undergraduate student. The fact that three different people found the same thing independently gives you a lot of evidence that you're on to something.
Transcript
Play full episode
