Ep 100: David Deutsch
ToKCast
00:00
How Do We Know if We Can't Prove It?
Girdle's theorem is about proveability, which means provability from axioms. We want to adapt ourselves to the universe in we find ourselves. The one thing that enables us to do that is solving our problems continually. And you have the great icodomy of saying, problems are inevitable, but problems are soluble. But this line of reasoning is reaching for a standard of knowing that it's impossible for anything.
Play episode from 28:55
Transcript
