The Liar's Statement is one the most infamous problems in logic, but less well-understood is this paradox's connection to the concept of formal incompleteness. Indeed a close examination of this relationship produces an unexpected connection, leading us to ask — are some of the most famous theorems that have come out of mathematics, logic, and computability over the last century nothing more than a trivial application of reasoning known as the Strengthened Liar?

Content:
00:00 - Intro
00:57 - The Liar's Paradox and Incompleteness
05:53 - The Meaning of Incompleteness
09:45 - The Strengthened Liar

свернуть