Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть II
7. Неразрешимость арифметики и теорема Гёделя о неполноте
Предыдущая страница
Следующая страница
Table of contents
Предисловие
4. Секвенциальное исчисление предикатов (ИПС)
+
5. Исчисление высказываний гильбертовского типа
6. Теория алгоритмов
+
7. Неразрешимость арифметики и теорема Гёделя о неполноте
-
7.1. Представимость функций в арифметике
7.2. Гёделевская нумерация формул
7.3. Неразрешимость арифметики
7.4. Теорема Гёделя о неполноте
Список литературы
Предметный указатель
Данный блок поддерживает скрол*