Содержание
- Введение 1
- Основы математической логики и формализма 2
- - Формальные языки и системы 2.1
- - Аксиоматические системы и дедукция 2.2
- - Понятия полноты и непротиворечивости 2.3
- Теорема Гёделя о неполноте: формулировка и доказательство 3
- - Гёделевское нумерование 3.1
- - Формулировка теоремы Гёделя 3.2
- - Основные этапы доказательства 3.3
- Тезис Черча и теория вычислимости 4
- - Рекурсивные функции и их свойства 4.1
- - Тезис Черча и его обоснование 4.2
- - Теорема Тьюринга и её связь с тезисом Черча 4.3
- Взаимосвязь теоремы Гёделя и тезиса Черча 5
- - Неразрешимость проблемы остановки 5.1
- - Ограничения формализуемых систем 5.2
- - Влияние на развитие искусственного интеллекта 5.3
- Заключение 6
- Список литературы 7