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
Смотрите видео The Strengthened Liar and Paradoxes of Incompleteness онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Dialect 08 Апрель 2023, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 32,114 раз и оно понравилось 1.7 тысяч людям.