Episode 58: Deutsch's "Creative Blocks": A Decade Later
The Theory of Anything
00:00
The Importance of Deductive Logic in AI
Bruce Schneier: I've written a deductive logic program to try to explore this further in my own AI, AGI, layman research. And it's not tractable, right? What humans are doing is clearly, humans don't really reason in straightforward deductive logic,. We can. It's within our capacity to do so. But it isn't the way we normally know about things. This is where there's so much room for AGI research if you start to rethink of this in terms of poppers epistemology. So they weren't entirely on their own path, right? They at least were partially correct to go down that path.
Transcript
Play full episode
