Показать ещё...
В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные применения в теоретическом программировании. Неклассические логики используются в теории вычислений, информатике, при описании систем эвристического программирования. Особенно важной из неклассических логик является, несомненно, интуиционистская логика. Прежде всего, само введение этой логики имеет глубокое и интересное философское обоснование, связанное с интуиционистской критикой классической математики, выдвинутой Брауэром. Кроме того, интуиционистская логика – пожалуй, единственная из неклассических логик, в рамках которой действительно фактически производилась достаточно глубокая разработка многих разделов математики. Интуиционистская логика лежит в основе построения многих математических теорий, базирующихся на различных концепциях конструктивности в математике, и позволяет тонко и точно анализировать трудный и важный вопрос о характере существования объектов исследования в математике. Накопленный здесь опыт свидетельствует о поразительном разнообразии возможных оттенков и вариантов различения эффективности в математике. Представление о практических попытках построения математических теорий на базе интуиционистской логики при том или ином понимании конструктивности можно получить из сводных монографий, например, Гейтинга [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), следует рассматривать как относящиеся к изданию: Колмогоров А.Н., Драгалин А.Г. Математическая логика. Серия: Классический университетский учебник. |
2023. 720 с. Твердый переплет. 16.9 EUR
Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее) URSS. 2024. 800 с. Мягкая обложка. 37.9 EUR
ВЕРСАЛЬ: ЖЕЛАННЫЙ МИР ИЛИ ПЛАН БУДУЩЕЙ ВОЙНЫ?. 224 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ) 11 ноября 1918 года в старом вагоне неподалеку от Компьеня было подписано перемирие, которое означало окончание Первой мировой войны. Через полгода, 28 июня 1919 года, был подписан Версальский договор — вердикт, возлагавший... (Подробнее) 2023. 696 с. Твердый переплет в суперобложке. 119.9 EUR
Опираясь на новейшие исследования, историк Кристофер Кларк предлагает свежий взгляд на Первую мировую войну, сосредотачивая внимание не на полях сражений и кровопролитии, а на сложных событиях и отношениях, которые привели группу благонамеренных лидеров к жестокому конфликту. Кларк прослеживает... (Подробнее) URSS. 2024. 704 с. Твердый переплет. 26.9 EUR
В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее) URSS. 2024. 344 с. Мягкая обложка. 18.9 EUR
Мы очень часто сталкиваемся с чудом самоорганизации. Оно воспринимается как само собой разумеющееся, не требующее внимания, радости и удивления. Из случайно брошенного замечания на семинаре странным образом возникает новая задача. Размышления над ней вовлекают коллег, появляются новые идеи, надежды,... (Подробнее) URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR
Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее) URSS. 2024. 576 с. Мягкая обложка. 23.9 EUR
Эта книга — самоучитель по военной стратегии. Прочитав её, вы получите представление о принципах военной стратегии и сможете применять их на практике — в стратегических компьютерных играх и реальном мире. Книга состоит из пяти частей. Первая вводит читателя в мир игр: что в играх... (Подробнее) URSS. 2024. 248 с. Мягкая обложка. 14.9 EUR
В книге изложены вопросы новой области современной медицины — «Anti-Ageing Medicine» (Медицина антистарения, или Антивозрастная медицина), которая совмещает глубокие фундаментальные исследования в биомедицине и широкие профилактические возможности практической медицины, а также современные общеоздоровительные... (Подробнее) URSS. 2024. 240 с. Твердый переплет. 23.9 EUR
Предлагаемая вниманию читателей книга, написанная крупным биологом и государственным деятелем Н.Н.Воронцовым, посвящена жизни и творчеству выдающегося ученого-математика, обогатившего советскую науку в области теории множеств, кибернетики и программирования — Алексея Андреевича Ляпунова. Книга написана... (Подробнее) 2023. 416 с. Твердый переплет. 19.9 EUR
Вам кажется, что экономика — это очень скучно? Тогда мы идем к вам! Вам даже не понадобится «стоп-слово», чтобы разобраться в заумных формулах — их в книге нет! Все проще, чем кажется. Автор подаст вам экономику под таким дерзким соусом, что вы проглотите ее не жуя! Вы получите необходимые... (Подробнее) |