Библиотека электронных книг г. Симферополя » Математика » Математическая логика - Клини С.К.

Книги

Математическая логика - Клини С.К.

 
Название: Математическая логика
Автор: Клини С.К.
Категория: Математика
Тип: Книга
Дата: 11.01.2009 19:51:10
Скачано: 485
Оценка:
Описание: Имя автора этой книги не нуждается в рекомендации. На его «Введении в метаматематикр выросло не одно поколение специалистов по математической логике и основаниям математики. Отличия настоящей книги от классического «Введения» доста-. точно ясны из авторского предисловия. В двух словах они . сводятся к тому, что перед нами теперь не руководство, претендующее (и не без оснований) на полноту освещения обширного комплекса проблем, а университетский учебник. С другой стороны, в этот учебник, несмотря4- на его скромный объем, попали многие вопросы, не нашедшие места в большой книге Клини (например, иерархия степеней неразрешимости, интерполяционная теорема, теоремы Бета и Робинсона). Существенно и то, что характерный для «большого Клини» финитный, метаматематический, теоретико-доказательственный подход здесь часто заменяется теоретико-множественным, модельным. Как и во «Введении в метаматематику», автор тщательно различает конструктивные и неконструктивные доказательства. И все-таки трудно отделаться от ощущения, что в этой книге он охотно отдает предпочтение вторым. Считая излишним загромождать подобное издание ссылками и комментариями, мы предпочитали следовать автору, отсылая читателя в нужных случаях за разъяснениями к «Введению в метаматематику». Исключение сделано лишь для теорем Генцена и Эрбрана. По разным причинам представляется желательным иметь метаматематические доказательства этих теорем, играющих вместе со своими обобщениями столь важную роль в современной теории доказательств. Этим доказательствам посвящены небольшие добавления редактора перевода.
Файл: 4.64 МБ
Скачать