ToKCast Ep 82: David Deutsch answers a question about Gödel and undecidability. (A question for David number 6).
Aug 7, 2021
AI Snips
Chapters
Transcript
Episode notes
Problem Solvability Challenge
- Some argue against problem solvability using Gödel's incompleteness theorems.
- They claim some true statements are unprovable, making certain problems insoluble.
Standards of Knowing
- Deutsch argues that knowing unprovable things demands an impossible standard of knowledge.
- Even provable things, reliant on axioms, aren't known by this standard.
Uninteresting Undecidables
- Brendan states undecidable statements are uninteresting, lacking real-world impact.
- They don't contribute to problem-solving in science or physics.