Episode Details
Back to Episodes
Can Logic Prove Everything? | The Logic of Logic
Published 1 week ago
Description
Can logic prove everything?
Settle into The Logic of Logic, a thoughtful sleep story about the rules of reasoning, the puzzles that test them, and the moment when an argument can be left until morning.
Achilles has finally caught the Tortoise. But when they sit down to discuss a simple proof, the notebook keeps filling and the conclusion never arrives. Somewhere else, a dog chooses the third road without writing down a single rule.
Tonight we follow the history of logic as it turns its questions on itself.
From Aristotle's patterns of argument and the Stoics' garden to the Mohist thinkers of China and the reasoning schools of India, people have tried to understand what makes a conclusion follow.
Along the way, we meet George Boole's nothing and everything, a librarian's impossible catalogue, Gödel's limits of proof, and Alan Turing's patient machines.
The story reaches the tiny switches inside our computers, then returns to a quiet hill, a still lake, and a notebook that does not need finishing tonight.
There's nothing to prove. Let the story keep you company as you settle down to rest.
This sleep story is told slowly and gently for sleep, relaxation and quiet late-night listening.
Explore The Idea of Ideas series:
https://www.youtube.com/playlist?list=PLd5WzOPdClFY
Listen to more Sleep Stories from the Pioneers:
https://www.youtube.com/playlist?list=PLRypv-XVJDZk
Explore Sleep Stories from the Pioneers:
https://pioneersofhumanbehaviour.com/sleep-stories/
Support the project:
https://ko-fi.com/pioneersofhumanbehaviour
Sleep well. 🌙
Stories to fall asleep to. Ideas worth waking up with.
Settle into The Logic of Logic, a thoughtful sleep story about the rules of reasoning, the puzzles that test them, and the moment when an argument can be left until morning.
Achilles has finally caught the Tortoise. But when they sit down to discuss a simple proof, the notebook keeps filling and the conclusion never arrives. Somewhere else, a dog chooses the third road without writing down a single rule.
Tonight we follow the history of logic as it turns its questions on itself.
From Aristotle's patterns of argument and the Stoics' garden to the Mohist thinkers of China and the reasoning schools of India, people have tried to understand what makes a conclusion follow.
Along the way, we meet George Boole's nothing and everything, a librarian's impossible catalogue, Gödel's limits of proof, and Alan Turing's patient machines.
The story reaches the tiny switches inside our computers, then returns to a quiet hill, a still lake, and a notebook that does not need finishing tonight.
There's nothing to prove. Let the story keep you company as you settle down to rest.
This sleep story is told slowly and gently for sleep, relaxation and quiet late-night listening.
Explore The Idea of Ideas series:
https://www.youtube.com/playlist?list=PLd5WzOPdClFY
Listen to more Sleep Stories from the Pioneers:
https://www.youtube.com/playlist?list=PLRypv-XVJDZk
Explore Sleep Stories from the Pioneers:
https://pioneersofhumanbehaviour.com/sleep-stories/
Support the project:
https://ko-fi.com/pioneersofhumanbehaviour
Sleep well. 🌙
Stories to fall asleep to. Ideas worth waking up with.