Предел доказуемого: почему теоремы Гёделя важны каждому

00:00 Гипотеза о числах-близнецах
00:58 Игра «Жизнь»: алгоритмический хаос
03:55 Теория множеств Кантора
06:47 Раскол в математическом сообществе
08:45 Парадокс Рассела: борода и бесконечность
09:45 Победа формалистов
10:44 Неразмершимость проблемы замощения плитки
11:43 «Principia Mathematica» Рассела и Уайтхеда
13:38 Проблемы Гильберта
14:37 Теоремы Гёделя о неполноте
22:28 Машины Тьюринга
24:24 Неразрешимость проблемы остановки
27:20 Неразрешимость и квантовая механика
28:19 Полнота по Тьюрингу

(источник)