Введение в математическую логику 15. Программа Гильберта
00:00:00 - Начало
00:00:34 - Теорема Гёделя о неполноте
00:04:33 - Семантическая версия
00:08:27 - Утверждение о перечислимости множества выводимых формул
00:15:55 - Синтаксическая версия
00:27:09 - Пример арифметики Пеано
00:45:03 - Вычислимые функции без тотального вычислимого продолжения
01:07:04 - Вторая теорема о неполноте
01:17:56 - Теорема Гудстейна
Дата лекции: 14.12.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 15. Программа Гильберта канала Лекторий ФПМИ
00:00:34 - Теорема Гёделя о неполноте
00:04:33 - Семантическая версия
00:08:27 - Утверждение о перечислимости множества выводимых формул
00:15:55 - Синтаксическая версия
00:27:09 - Пример арифметики Пеано
00:45:03 - Вычислимые функции без тотального вычислимого продолжения
01:07:04 - Вторая теорема о неполноте
01:17:56 - Теорема Гудстейна
Дата лекции: 14.12.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 15. Программа Гильберта канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Алгоритмы и структуры данных (продвинутый поток) 15. Блокирующие потоки. Алгоритм Диница
Алгоритмы и структуры данных 11. Сумма Минковского
Алгоритмы (продвинутый поток) 5. Динамика на подмножествах
Теория колец и полей 9. Расширения полей. Минимальный многочлен. Поле разложения
Случайные процессы 6 Свойства корреляционной функции стационарных процессов
Транспортные потоки. Лекция 4. Гасников А.В.
Многомерный анализ, интегралы и ряды 12. Поточечная и равномерная сходимость
Теория колец и полей 3. Евклидовы кольца
ОКТЧ 22. Диофантовы приближения. Цепные дроби
Алгоритмы (базовый поток) 13. Потоки-2
C++ 7. Виртуальные таблицы и Шаблоны
Презентация кафедры вычислительных технологий и моделирования в геофизике и биоматематике (ИВМ РАН)
Гармонический анализ 10. L2-теория рядов Фурье
ТПиАК 10. Процессы в операционных системах
Случайные процессы 4. Винеровские и пуассоновские процессы
Программирование основных алгоритмов 14. Свёртки, вхождение паттерна с опечатками. Изображения
ОКТЧ 1. Квадратичные вычеты. Символ Лежандра
ОВАиТК 13. Конечные поля III. Подполя.
Презентация кафедры математического моделирования сложных систем и оптимизации ФПМИ
Алгоритмы и структуры данных (Экономика & ERP). 7. Хеш-таблицы
Программирование основных алгоритмов 2. Алгоритм Косарайю. DFS на неорграфах. 0-k BFS