Опубликован: 25.02.2009 | Доступ: свободный | Студентов: 1327 / 170 | Оценка: 4.40 / 4.29 | Длительность: 01:48:00
Специальности: Программист
Лекция 3:

Проблемы непротиворечивости и полноты формальных систем

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