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