URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. ('Математический интуиционизм. Введение в теорию доказательств', и др.)
Id: 4921
 
649 руб.

Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств", и др.)

URSS. 2003. 544 с. Твердый переплетISBN 5-354-00388-1.

 Аннотация

А.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.

В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина <Математический интуиционизм. Введение в теорию доказательств> явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца.

В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина --- С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы.

Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.


 Оглавление

Предисловие. Н.Н.Непейвода
In Memoriam: Альберт Григорьевич Драгалин. С.Н.Артемов, Б.А.Кушнер, Г.Е.Минц, Е.Ю.Ногина, А.Трулстра
Несколько слов о А. Г. Драгалине. В.Б.Шехтман
Альберт Григорьевич Драгалин. В память о друге и соотечественнике. Э.Б.Баялинов
Памяти Альберта Драгалина. А.С.Бойцов
Requiem by R. L. Stevenson. Перевод А.Г.Драгалина

I А. Г. Драгалин. Математический интуиционизм. Введение в теорию доказательств

Предисловие
1 Логика
  1.Неформальные пояснения
  2.Интуиционистская логика предикатов
  3.Исчисление секвенций
  4.Некоторые результаты относительно интуиционистской логики предикатов
  5.Классическое исчисление секвенций
  6.Формальные аксиоматические теории
  7.Библиографические замечания
2 Арифметика
  1.Аналитический язык
  2.Основные арифметические теории
  3.Негативная интерпретация
  4.Формальный тезис Чeрча
  5.Рекурсивная реализуемость по Клини
  6.Рекурсивная реализуемость и свойства эффективности логических связок в HA
  7.Принцип конструктивного подбора (принцип Маркова) и принцип Р
  8.Дополнительные результаты
  9.Семантика реализуемости для логики предикатов
  10.Дополнительные библиографические замечания
3 Алгебраические модели
  1.Псевдобулевы алгебры, топологические пространства
  2.Алгебры с пополнением, шкалы Бета--Крипке
  3.Приложения к логике высказывания. Интуиционистская логика не является конечнозначной
  4.Модели Бета--Крипке, алгебраические и топологические модели
  5.Теоремы о полноте
  6.Приложения к интуиционистской арифметике, операция Сморинского
  7.Метод реализуемости и теория интуиционистских моделей
  8.Семантика де Йонга
  9.Дополнительные библиографические замечания
4 Анализ
  1.Теория FIM, обзор результатов
  2.Схема Крипке
  3.Теория IDB(U)
  3.4.Схема выбора
  4.Теория CS
  5.Теория LS беззаконных последовательностей
  6.Примеры моделей
5 Устранимость сечения в интуиционистской простой теории типов в форме исчисления секвенций с объемностью
Дополнение А Алгебраический подход к моделям типа реализуемости
Дополнение Б Усиленная форма теоремы о нормализации
Список литературы

II Избранные статьи А. Г. Драгалина по конструктивной теории доказательств и нестандартному анализу

К обоснованию принципа конструктивного подбора А. А. Маркова
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
Трансфинитные пополнения конструктивного арифметического исчисления
Об использовании классических исчислений для установления конструктивной истинности
Интуиционистская логика и epsilon-символ Гильберта
Конструктивная модель интуиционистского анализа
New Kinds of Realizability
Алгебраические модели интуиционистских теорий
Новые виды реализуемости и правило Маркова
Коментарии к статьям Г. Вейля "Порочный круг в современном обосновании анализа" и "Математика и логика"
Correctness of inconsistent theories with notions of feasibility
A completeness theorem for  higher-order intuitionistic logic: an  intuitionistic proof
Cut-elimination theorem for  higher-order classical logic: an  intuitionistic proof
Some Trends in Automated Reasoning
Complete Heyting and Boolean Algebras over a Partial Ordering. Constructive Approaches
  1.1.Structures over a partial order
  1.4.Boolean algebras
  1.4.2.Double negation construction
  1.5.An example: the set of all subsets
  1.6.The topological construction
  1.7.Closure structures
  1.8.Topological spaces
  1.9.Order topologies
  1.10.Double negation construction for an order topology
  1.10.4.Generating a separable ordering
  2.1.Completion structures
  2.3.Ordered completion structures
  2.5.Extending of a zero
  2.6.Double negation construction for a completion structure
  2.7.Tree-like orderings: an instructive example
  2.7.5.Finite and finitely enumerable sets
  2.7.6.On the descriptive complexity of D
  3.3.The complete Heyting algebra
Explicit Algebraic Models for Constructive and Classical Theories with Non-Standard Elements
On a self-dual notation in automated reasoning
  1.1.The main definitions
  2.1.Multiplicative laws, literal forms
  2.2.Main simplifying laws
  2.3.Quantifier--free formulas simplification
  2.3.4.Quantifier-free deducibility
  2.4.Quantifier-free clause forms
  2.5.Prenex form
  2.6.Minisphere procedure
  3.4.Herbrand's theorem
  4.3.Clauses
Cut-elimination in the theory of definable sets of natural numbers

III Избранные энциклопедические статьи А. Г. Драгалина

Аксиоматическая теория множеств. (в соавторстве с В.Н.Гришиным)
Антиномия
Теория доказательств
Интуиционизм
Интуиционистская логика

Приложения

Комментарии Г. Е. Минца к статьям А. Г. Драгалина
Библиография трудов А. Г. Драгалина
Именной указатель
Предметный указатель

 Предисловие

В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные применения в теоретическом программировании. Неклассические логики используются в теории вычислений, информатике, при описании систем эвристического программирования.

Особенно важной из неклассических логик является, несомненно, интуиционистская логика. Прежде всего, само введение этой логики имеет глубокое и интересное философское обоснование, связанное с интуиционистской критикой классической математики, выдвинутой Брауэром. Кроме того, интуиционистская логика -- пожалуй, единственная из неклассических логик, в рамках которой действительно фактически производилась достаточно глубокая разработка многих разделов математики. Интуиционистская логика лежит в основе построения многих математических теорий, базирующихся на различных концепциях конструктивности в математике, и позволяет тонко и точно анализировать трудный и важный вопрос о характере существования объектов исследования в математике. Накопленный здесь опыт свидетельствует о поразительном разнообразии возможных оттенков и вариантов различения эффективности в математике. Представление о практических попытках построения математических теорий на базе интуиционистской логики при том или ином понимании конструктивности можно получить из сводных монографий, например, Гейтинга [3], Гудстейна [1], Бишопа [1], Мартин-Лефа [3], Кушнерa [1]. В последней монографии систематически отражены результаты исследований советской школы конструктивной математики, работающей под руководством чл.-корр. АН СССР А.А.Маркова.

Цель этой небольшой книги -- изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой. Можно надеяться, что и специалист по неклассическим логикам обнаружит в книге некоторые новые результаты и методы.

Автор прилагал усилия, чтобы сделать изложение доступным для возможно более широкого круга читателей. От читателя требуется определенная математическая культура и готовность терпеливо восполнять недостающие рутинные шаги в многочисленных индуктивных доказательствах. Что касается логики, то достаточно владеть вводным в классическую математическую логику курсом. Учебник Мендельсона [1], например, содержит все необходимые сведения. Знакомство с литературой по интуиционистской логике, в особенности с книгой Гейтинга [3] и Клини и Весли [1], является желательным, но не необходимым. Возможно, при первом чтении книги читатель пожелает получить представление о различных интуиционистских теориях и способах их исследования и при этом избежать длинных и утомительных доказательств. В такой ситуации можно ограничиться чтением объяснительного текста, определений и формулировок теорем, а часть пятую и оба дополнения можно опустить. Однако для более полного овладения предметом следует, конечно, тщательно проработать доказательства. Книга не содержит специальных упражнений, но построена так, что проведение всех рутинных деталей составляет определенную самостоятельную работу, являющуюся органической частью тщательного изучения книги. Автор надеется, что овладение материалом книги подведет читателя к самостоятельным исследованиям в рассматриваемой области и позволит ему ориентироваться в журнальной литературе по специальности.

При написании книги некоторая проблема состояла в выборе стиля изложения: если излагаются и изучаются различные теории конструктивности в математике, то должен ли сам автор придерживаться в этом изложении некоторой конструктивной точки зрения? Был выбран компромиссный путь. Изложение принципиально не связано с какими-либо ограничениями и временами и является обычным теоретико-множественным рассуждением, таким же, какие употребляются при изложении "обыкновенных" содержательных математических теорий вроде топологии или теории меры. Вместе с тем автор старался, по возможности, избегать неконструктивных способов рассуждения и в особенно ответственных случаях (см., например, ч. 5) эта тема специально обсуждается и прилагаются особые усилия. Тем не менее никак нельзя сказать, что все изложение в книге выдержано в некоторых идейно последовательных интуиционистских рамках, -- возможно, потому, что автор знаком со многими интересными интуиционистскими концепциями и искренне не знает, какой из них отдать предпочтение. Мы предпочтем изучать сами эти концепции аксиоматическим методом. Вo всяком случае, читатель, если того пожелает, всегда может считать, что книга представляет собой "взгляд на конструктивную математику с точки зрения классической", хотя такое мнение и не отразит полностью стремления автора не избегать теоретико-множественного изложения, но и не искать его там, где без него можно легко обойтись.

В книге частично представлено содержание нескольких курсов по интуиционистской математике, которые автор читал в течение ряда лет на механико-математическом факультете МГУ. Книга содержит пять частей и два дополнения. В первой части излагаются чисто синтаксические методы исследования интуиционистской логики предикатов, основанные на теореме Генцена об устранении сечения. В частности, доказана теорема Харропа о свойствах дизъюнктивности и экзистенциальности логики предикатов. Более сильный алгоритмический вариант теоремы Генцена с гораздо более сложным доказательством вынесен в дополнение Б. Во второй части, посвященной интуиционистской арифметике, основным инструментом исследования является принадлежащий Клини метод реализуемости. Здесь автор стремился подчеркнуть возможность принципиально различных алгоритмических истолкований логических связок. В третьей части рассматривается теория алгебраических моделей интуиционистской логики и, в частности, доказываются теоремы о полноте для различных вариантов таких моделей. Вновь на примере интуиционистской арифметики показывается полезность введенных понятий для исследования конкретных теорий. В четвертой части, относящейся к интуиционистскому анализу, основное внимание уделено обсуждению принципов интуиционистского анализа и обзору современных результатов в этой области. Превосходное изложение двух моделей типа реализуемости для анализа можно найти в монографии Клини и Весли [1]. Мы приводим две алгебраические модели для различных вариантов интуиционистского анализа. Наконец, в пятой части алгебраические модели используются для решения важной задачи синтаксического характера: теоремы об устранении сечения в интуиционистской логике высокого порядка. Показано, что решение этой задачи принципиально не может быть достигнуто элементарными синтаксическими методами. В дополнении А описывается класс структур, позволяющий с единых алгебраических позиций рассмотреть как алгебраические модели, так и модели типа реализуемости.

Автор благодарит своего учителя А.А.Маркова за внимание к своей работе, а слушателей своих спецкурсов за их постоянный энтузиазм и ценные замечания. При подготовке рукописи к печати мне помогали И.А.Ломакина, Ю.В.Гавриленко, Е.С.Божич, которым автор выражает свою искреннюю признательность.

А.Г.Драгалин

 Об авторе

Альберт Григорьевич Драгалин (1941--1998)

Видный представитель российской школы математического конструктивизма. Родился 10 апреля 1941 года на острове Моржевец Архангельской области. Окончил механико-математический факультет МГУ им.М.В.Ломоносова, где работал с 1966 года. С 1983 года жил в Венгрии, заведовал кафедрой вычислительной математики университета им.Л.Кошута (г.Дебрецен). В 1988 году Венгерской Академией наук ему была присвоена степень доктора наук. Умер 18 декабря 1998 года в г.Дебрецен.

А.Г.Драгалин -- автор фундаментальных трудов по теоретико-модельным и теоретико-доказательственным основаниям интуиционистской логики, конструктивным методам нестандартного анализа.


 Опечатки


К читателю

Издательство URSS первоначально планировало публикацию двухтомника избранных трудов А.Г.Драгалина и А.Н.Колмогорова по логике и философии математики, во второй том которого был включен учебник А.Н.Колмогорова и А.Г.Драгалина "Математическая логика". Перед самым выходом первого тома в издательство обратились от имени Ученого совета механико-математического факультета МГУ и предложили опубликовать учебник А.Н.Колмогорова и А.Г.Драгалина в серии "Классический университетский учебник", на что наше издательство дало согласие. Первый том вышел под названием: Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. Ссылки на второй том, сохранившиеся по техническим причинам в тексте этой книги (см. с.11, 15, 354, 453, 471, 482), следует рассматривать как относящиеся к изданию: Колмогоров А.Н., Драгалин А.Г. Математическая логика. Серия: Классический университетский учебник.

 
© URSS 2016.

Информация о Продавце