больше 1 года назад
Лекция -1.
Проблемы непротиворечивости и полноты формальных систем
18 подписчиков
В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.
Сайт: https://www.intuit.ru