Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Girdle's Proof of Undecidability
Before girdle proved undecide ability, everybody thought that what you'd be able to do is build a computer that could resolve any question in logic. And lbert gave a famous speech where he ended by saying, we will know, we must know. So some people think it's ironically very appropriate that what appears on hilbert's tombstone is that, phra, we willknow, we must knowledge.
Transcript
Play full episode
