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