Математическая теория логического вывода

Математическая теория логического вывода

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

Автор:

Издательство: Наука.

Место издания: Москва

Тип переплёта: Тканевый.

Год издания: 1967

Формат: Увеличенный.

Состояние: Хорошее.

Страниц: 352 с.

Код: 166633 - 8*1*2