Опубликован: 25.02.2009 | Доступ: свободный | Студентов: 1329 / 171 | Оценка: 4.40 / 4.29 | Длительность: 01:48:00
Специальности: Программист
Теги:
Лекция 3:
Проблемы непротиворечивости и полноты формальных систем
< Лекция 1 || Лекция 3
Аннотация: В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.
< Лекция 1 || Лекция 3