20
почти 2 года назад
Лекция -1. Проблемы непротиворечивости и полноты формальных систем
40 подписчиков
Возраст: 0+
Язык: Русский

В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.

Сайт: https://www.intuit.ru