Математическая теория логического вывода [сборник переводов статей]

Идельсон А.В., Минц Г.Е. (ред.)

Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.

---

Table of contents :
Генцен Г. Исследования логических выводов (перевод А. В. Идельсона) 9
Добавление переводчика 75
Генцен Г. Непротиворечивость чистой теории чисел (перевод Г. Е. Минца) 77
Генцен Г. Новое изложение доказательства непротиворечивости для чистой теории чисел (перевод Г. Е. Минца) 154
Бет Э. Метод семантических таблиц (перевод А. О. Слисенко) 191
Кангер С. Упрощенный метод доказательства для элементарной логики (перевод С. Ю. Маслова) 200
Клини С. К. Перестановочность применений правил в генценовских исчислениях LK и LJ (перевод В. П. Оревкова и А. В. Сочилиной) 208
Клини С. К. Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов перевод Г. В. Давыдова) 237
Шютте К. Интерполяционная теорема для интуиционистской логики предикатов (перевод А. О. Слисенко) 285
Генцен Г. Соединение нескольких полных индукций в одну-единственную (перевод Г. Е. Минца) 295
Гёдель К. Об одном еще не использованном расширении финитной точки зрения (перевод Г. Е. Минца) 299
Добавления переводчика 305
Приложение. Минц Г. Е. Теорема Эрбрана 311