Клик на название графика включает/выключает его. "-Дельта" - графики скорости изменения, единиц в минуту.
Описание видео
Опубликовано: 18-09-2021 09:14:03
Авторский курс Николая Казимирова
Конспект: https://disk.yandex.ru/i/NgHxc6ptlCVAUQ
? Поддержать популяризацию математики на Патреоне: https://patreon.com/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 https://www.instagram.com/aleksey_savvateev https://www.facebook.com/savvatan https://savvateev.livejournal.com https://savvateev.xyz https://t.me/savvateev_xyz
Теги
Канал
