Вторая теорема Гёделя скачать в хорошем качестве

Вторая теорема Гёделя

Авторский курс Николая Казимирова Конспект: https://disk.yandex.ru/i/NgHxc6ptlCVAUQ Канал Николая:    / @reisedurchdiemathe   🎯 Поддержать популяризацию математики на Патреоне:   / savvateev   0:00:00 - Предисловие 0:00:38 - Формальные системы: определение 0:35:18 - Аксиомы: логические и нелогические 0:54:02 - Нумералы 0:55:45 - Правила вывода и построение выводов 1:09:48 - Теорема о дедукции 1:12:10 - Независимость формул, непротиворечивость и полнота теории 1:19:53 - Модели формальных теорий, интерпретация термов и формул 1:39:00 - Истинные в модели формулы 1:44:35 - Теорема о корректности исчисления предикатов 1:55:10 - Теорема Гёделя о полноте 1:57:10 - Теорема Лёвенгейма-Сколема 2:07:40 - Выразимость предикатов и функций в сигнатуре 2:30:40 - Вычислимые функции 2:31:20 - Перечислимость и разрешимость множеств 2:35:47 - Теорема Клини о существовании перечислимого неразрешимого множества 2:38:35 - Иерархия формул 2:41:15 - Теорема о сигма1-определимости вычислимых функций в арифметике 2:49:42 - Теорема о дельта0-разрешимости арифметики 2:52:30 - Теорема о сигма1-полноте арифметики 3:07:48 - Первая теорема Гёделя о неполноте (синтаксический вариант) 3:24:12 - Гёделева нумерация формл в форме Куайна 3:38:40 - Теорема о неподвижной точке 3:53:30 - Аксиомы Гёделя-Лёба в модальной логике 3:58:25 - Теорема Лёба 4:10:42 - Вторая теорема Гёделя о неполноте 4:15:20 - Теорема Тарского о невыразимости истины Наши ресурсы: https://vk.com/alexei_savvateev   / aleksey_savvateev     / savvatan   https://savvateev.livejournal.com https://savvateev.xyz https://t.me/savvateev_xyz