Episode 58: Deutsch's "Creative Blocks": A Decade Later
The Theory of Anything
00:00
The Importance of Computable Programming
There are certain types of problems, famously the halting problem, that a computer cannot solve. The other thing is tractability. How can you ever know for sure someone won't in the future discover such a program? Right? And generally speaking, we would say no. But we don't really know that for sure. Okay. So when we're dealing with computational theory, there's several different things we care about.
Transcript
Play full episode
