ТФСиА 9. Метод резолюций. Формальная математика. Теория множеств.

Теория формальных систем и алгоритмов. МФТИ. Физтех-школа прикладной математики и информатики

Дата лекции: 27.10.2022
Лектор: Вялый М.Н.
Съемка: Касьянов Павел
Монтаж: Кервинен Матвей

00:00 - интро
00:05 - начало
00:58 - повторение
05:43 - универсальный дизъюнкт
11:09 - пример 1
16:40 - ИР для универсальных дизъюнктов
19:45 - пример 2
21:21 - резолютивный вывод из универсальных дизюнктов
24:32 - продолжение примера 1
29:57 - корректность и полнота
40:07 - модель
47:58 - система доказательств
52:25 - теория
56:17 - теорема
1:00:43 - парадокс Левенгейма-Сколема
1:03:28 - выразимость математических утверждений единственным предикатом
1:16:31 - доказуемость формул