The Strengthened Liar and Paradoxes of Incompleteness
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
Watch video The Strengthened Liar and Paradoxes of Incompleteness online without registration, duration hours minute second in high quality. This video was added by user Dialect 08 April 2023, don't forget to share it with your friends and acquaintances, it has been viewed on our site 32,114 once and liked it 1.7 thousand people.