Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ) Лекция 12 (20.11.2020) 00:00 Начало лекции 0:45 Теория первого порядка (повторение определения из предыдущей лекции) 2:23 Теорема о дедукции 24:50 Противоречивость, следствие теоремы о дедукции 28:21 Теорема о корректности исчисления предикатов 36:07 Доказательства непротиворечивости. Примеры непротиворечивых формул 40:50 Вопрос о непротиворечивости ZFC 51:02 Доказательства независимости 52:48 Теорема Гёделя о полноте 1:01:52 Теорема Гёделя-Мальцева о компактности 1:04:51 Нестандартные модели арифметики 1:12:12 Отношение порядка на нестандартной модели арифметики и его свойства (само отношение порядка на 1:13:50) 1:18:17 Близкие элементы. Галактика. Свойство галактики (изоморфность (Z, <) ) 1:20:22 Множество всех галактик. Плотность порядка на множестве всех галактик
