ЛитЛайф

Жанры

Авторы

Книги

Серии

Форум
Подборки

Нагель Эрнст

Книга "Teopeмa Гёделя"

Оглавление

  1. Нагель Эрнест, Ньюмен Джеймс Рой Теорема Гёделя Посвящается Бертрану Рас...
    1. Нагель Эрнест, Ньюмен Джеймс Рой Теорема Гёделя
    2. 1 Введение
    3. 2 Проблема непротиворечивости
    4. 3 Абсолютные доказательства непротиворечивости
    5. 4 Систематическое построение формальной логики
    6. 5 Один пример абсолютного доказательства непротиворечивости
    7. 6 Идея кодирования и ее использование в математике
    8. 7 Теоремы Гёделя
      1. 7.1. Гёделевская нумерация
      2. 7.2. Арифметизация метаматематики
      3. 7.3. Изложение доказательств
    9. Заключительные замечания
    10. Послесловие переводчика