Поиcк по сайту by Google


Рейтинг@Mail.ru
Rambler's Top100
Электронные книги » Математика » Теория доказательств - Такеути Г.

Теория доказательств - Такеути Г.

 
Название: Теория доказательств
Автор: Такеути Г.
Категория: Математика
Тип: Книга
Дата: 17.01.2009 13:49:34
Скачано: 483
Оценка:
Описание: Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, р книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математическою анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
Файл: 3.26 МБ
Скачать