Математическая логика и теория алгоритмов 7. Приложения леммы Цорна, теория вычислимости

Таймкоды: 00:00:00 - Интро 00:00:05 - Приложения леммы Цорна 00:02:07 - Теорема (Про продолжение частичного порядка до линейного) 00:20:07 - Теорема (Про квадрат бесконечного множества) 00:44:21 - Теория вычислимости 00:45:27 - Алгоритм 00:51:29 - Формальные вычислители 00:52:06 - Машина Тьюринга 00:55:05 - Проблема остановки 00:57:27 - Остальные формальные вычислители 00:58:35 - Тьюринг-полный язык и тезис Черча 01:00:19 - Вычислимые функции и разрешимые множества 01:11:39 - Теорема (про вычислимость композиции вычислимых функций) 01:14:00 - Теорема (про операции над разрешимыми множествами) Дата лекции: 04.03.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_240