Книги автора: Гильберт Д.  (1)

Аннотация

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