Эта лекция является дополнительным семинаром для первого курса, вводящим молодых физтехов в волшебный мир неразрешимых задач.
Мы поговорим о проблеме разрешимости для исчисления пропозиций и для исчисления предикатов, о трудах Гёделя, о машинах Тьюринга, о лямбда-исчислении, о простых неразрешимых задачах и о быстро растущих функциях. А также о том зачем это всё.
Следующая лекция:
Лектор: Константин Владимиров
Дата лекции: 10 мая 2021 года
Съёмка и звук: Дмитрий Рябцев
Слайды к лекциям автора по логике и вычислимости:
Timeline:
00:00 Введение. Исчисление пропозиций
11:20 Аксиомы и правила вывода
18:58 Проверять или доказывать?
27:10 Программа Гильберта и теоремы Гёделя
35:30 Машины Тьюринга
46:40 Универсальная машина Тьюринга и проблема останова
53:50 Лямбда-исчисление
1:13:00 Тезис Черча-Тьюринга
1:17:30 Простые неразрешимые задачи
1:29:45 Теорема Райса
1:34:00 Быстро растущие и частично рекурсивные функции
1:41:50 Игра в бобра
1:49:17 Возвращаясь к программе Гильберта
1:52:20 Заключение
Errata:
* 1:18:38 -- рациональное это отношение двух целых. Единички в двоичном расширении могут и не заканчиваться, например для числа 1/3.
1 view
5
0
1 month ago 00:03:38 1
Twenty One Pilots - Heathens [Cover by RADIO TAPOK на русском]
1 month ago 00:12:13 1
Как СПЕЦСЛУЖБЫ находят людей? Метод ФСБ
1 month ago 00:03:09 1
Нечто. Обзор настольной игры от Игроведа
1 month ago 00:15:50 1
ВЫЧИСЛИЛ ТОЧНУЮ ЛОКАЦИЮ МОШЕННИКА | МНЕ ДАЛИ ЕЩЁ ГОД | ЦЫГАНСКАЯ БАНДА ЗЕЛИМХАНА
1 month ago 00:37:35 1
Украинские каратели на белорусской земле
1 month ago 00:03:50 1
Программа для ОВЕН ЛОГИК . Прибор ПР200 .Вычисление ОБЪЕМА(1 часть)
1 month ago 00:19:28 1
“Расстановка в Квантовом Поле“. Тема “Деньги“. Метод ТАМ. Фрагмент Работы.
1 month ago 01:14:25 1
Так ищут мужей сейчас! Как женщин обманывают сайты знакомств и агентства?
1 month ago 00:56:40 1
ХОЗЯЕВА РОССИИ. Краткий справочник олигархии // Олег Комолов. Простые числа
1 month ago 00:29:27 1
Рядом с вами плохой человек: 11 ЯВНЫХ признаков этого | СТОИЦИЗМ
1 month ago 00:34:08 1
ТАКОГО НЕ БЫЛО 100 ЛЕТ! Разоблачаю Величайшую в Мире Аферу
1 month ago 00:03:03 1
Артем Качер - Сияй (Премьера клипа 2024)
1 month ago 01:56:32 1
Сергей Трухачёв: угон аккаунтов, мессенджеры без слежки, нюдсы, прослушка и даркнет
1 month ago 00:16:57 1
ВЕЛИКАНЫ - 10 ФАКТОВ ОТ КОТОРЫХ У ИСТОРИКОВ БОМБИТ. Доказательства существования ГИГАНТОВ в прошлом
1 month ago 00:04:23 4
Почему при замене знаков получается один и тот же результат?
1 month ago 00:00:00 6
Стрим: МАФИЯ СО СТРИМЕРАМИ! ВЫЧИСЛЯЕМ ДОНОВ И СПАСАЕМ ШЕРИФОВ!
1 month ago 00:12:45 1
Путин вычислил и обезвредил британского шпиона, руководившего российским банком!
1 month ago 00:10:03 1
Вычислили Ферму ЦЫГАН! Держали в Рабстве и Пытали Людей! Нелегалы В Слезах Просили ПРОЩЕНИЯ...
1 month ago 00:00:00 1
PUBG PARTNERS / ВЫЧИСЛЯЕМ ЧИТЕРОВ В ПАБГ
2 months ago 00:12:42 1
Измена женщины онлайн в Интернет. Виртуальная измена. Разберём как вычислить измену?
2 months ago 00:06:55 1
Не обнаружил заначки в носке | Зона Х
2 months ago 00:00:12 1
Страх школьников №1: Нейросеть вычисляет, кто не готов
2 months ago 00:17:04 1
Банк ФИПИ: 34: (D1664A)
2 months ago 00:39:06 1
Кто стоял за одним из самых масштабных преступлений в истории Советского Союза