Двухтомная монография занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами. Отличающаяся исключительной глубиной содержания и тщательностью изложения, книга до сих пор пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики. Для широкого круга читателей книга привлекательна тем, что в ней основополагающие идеи теории доказательств излагаются более обстоятельно и менее формализованно, чем где-либо в другом месте. Можно думать, что выход книги на русском языке будет с удовлетворением встречен в нашей стране не только специалистами по математической логике, но также и всеми квалифицированными математиками, которые в той или иной мере интересуются вопросами оснований математики, ролью математики в современной науке, глубокими проблемами, стоящими перед математикой и математиками независимо от их узкой специальности.
Содержание:
Том I. Логические исчисления и формализация арифметики: 1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости; 2. Элементарная арифметика. Финитный способ рассуждений и его границы; 3. Формализация процесса логического вывода: Исчисление высказываний; 4. Формализация процесса вывода: Исчисление предикатов; 5. Исчисление предикатов с равенством. Полнота одноместного исчисления предикатов; 6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики; 7. Рекурсивные определения; 8. Понятие "тот, который" и его устранимость.
Т. II. Теория доказательств