Обложка Колмогоров А.Н., Драгалин А.Г. Математическая логика: Дополнительные главы
Id: 275884
469 руб.

Математическая логика:
Дополнительные главы Изд. 5

Аннотация

Авторы настоящей книги --- А.Н.Колмогоров и А.Г.Драгалин --- выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова.

Изложение фундаментальных фактов современной логики... (Подробнее)


Содержание
Предисловие к серии3
Андрей Николаевич Колмогоров (1903–1987)5
Альберт Григорьевич Драгалин (1941–1998)6
Предисловие7
Введение11
Глава I. Теория множеств25
§ 1. Язык наивной теории множеств, парадоксы наивной теории множеств27
§ 2. Язык теории множеств Цермело—Френкеля42
§ 3. Отношения и функция в языке теории множеств48
§ 4. Натуральные числа в теории множеств. Запись математических утверждений в языке теории множеств62
§ 5. О континуум-гипотезе и аксиоме выбора74
§ 6. Аксиоматическая теория множеств Цермело—Френкеля79
Глава II. Элементы теории алгорифмов99
§ 1. Машины Тьюринга101
§ 2. Тезис Чеерча115
§ 3. Рекурсивные и рекурсивно-перечислимые множества и предикаты118
§ 4. Примитивно-рекурсивные функции, геделева нумерация, арифметика с примитивно-рекурсивными термами132
§ 5. Некоторые теоремы общей теории алгорифмов146
Глава III. Элементы теории доказательств161
§ 1. Неполнота и неразрешимость аксиоматических теорий163
§ 2. Теорема Ге?деля о полноте исчисления предикатов178
§ 3. Теорема об устранении сечения191
§ 4. О программе Гильберта обоснования математики206
Литература217
Именной указатель219
Предметный указатель221

Предисловие к серии

Уважаемый читатель!

Вы открыли одну из замечательных книг, изданных в серии "Классический университетский учебник", посвященной 250-летию Московского университета. Серия включает свыше 150 учебников и учебных пособий, рекомендованных к изданию учеными советами факультетов, редакционным советом серии и издаваемых к юбилею по решению Ученого совета МГУ.

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

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

Издание серии "Классический университетский учебник" наглядно демонстрирует тот вклад, который вносит Московский университет в классическое университетское образование в нашей стране и, несомненно, служит его развитию.

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

Ректор Московского университета
академик РАН, профессор В.А.Садовничий

Предисловие

Книга* представляет собой вторую часть первоначального курса математической логики, но может читаться и независимо, если читатель имеет некоторое предварительное знакомство с логико-математическими языками и теорией логического вывода. Необходимые предварительные сведения можно получить как в нашей книге, так и в первых главах любого из более подробных курсов математической логики. Необходимый минимум сведений и терминологию мы напоминаем также во введении.

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

[...]

В первой главе излагается теория множеств в стиле аксиоматической системы Цермело--Френкеля. Мы стремились показать, как основные математические понятия и структуры могут быть введены на базе точного логико-математического языка теории множеств. Здесь же обсуждаются традиционные вопросы, относящиеся к основаниям теории множеств: парадоксы теории множеств, непротиворечивость системы Цермело--Френкеля, парадокс Скулема, содержательный аксиоматический метод и формальный аксиоматический метод в математике.

Во второй главе излагаются элементы теории алгорифмов. Здесь даны точные определения, касающиеся вычислимости по Тьюрингу, обсуждаются тезис Чёрча и понятия рекурсивного и рекурсивно-перечислимого множества. Эта часть главы может рассматриваться как обязательный минимум по теории алгорифмов. Далее приводятся основные теоремы общей теории алгорифмов относительно существования неразрешимых множеств и предикатов и излагается подготовительный материал по гёделевой нумерации конструктивных объектов и выводам свойств конструктивных объектов в формальной арифметике. Этот материал может рассматриваться как факультативный по отношению к обязательному курсу логики, лектор может использовать его выборочно или перенести часть материала на семинарские занятия.

Третья глава посвящена теории вывода. Здесь доказываются теорема Гщделя о полноте исчисления предикатов, теорема Лщвенгейма--Скулема, теорема о неполноте и неразрешимости всякой достаточно выразительной формальной аксиоматической теории. Доказываются также знаменитая вторая теорема Гёделя о невозможности доказательства непротиворечивости достаточно мощной формальной аксиоматической теории средствами самой этой теории и теорема Генцена об устранении сечения. Завершается глава обсуждением программы Гильберта обоснования математики. Материал третьей главы также может рассматриваться как факультативный. Например, лектор может ограничиться лишь формулировками некоторых фундаментальных теорем.

Сложность изложения многих важных результатов математической логики состоит в том, что они часто требуют для своего доказательства большого подготовительного аппарата для аккуратного проведения деталей доказательств. Так, необходимо убеждаться, что те или иные предикаты действительно вычислимы по Тьюрингу или примитивно-рекурсивны, что рассматриваемые формулы действительно выводимы в тех или иных формальных аксиоматических теориях. Такого рода утверждения доказываются обычно путем громоздкого, но в принципе нетрудного непосредственного построения соответствующих машин Тьюринга, примитивно-рекурсивных описаний, формальных выводов и т.п. Разумеется, в коротком курсе нецелесообразно тратить время на такие построения. Читателя, интересующегося деталями построений, мы в таких случаях отсылаем к более подробным руководствам, но все же стремимся к тщательному изложению всех принципиальных моментов доказательств.

Авторы
*Учебник А.Н.Колмогорова и А.Г.Драгалина "Математическая логика. Дополнительные главы" впервые опубликован издательством Московского университета (М., 1984, 120 с.).
Об авторах
Колмогоров Андрей Николаевич
Выдающийся советский математик, академик АН СССР (1939). Родился в Тамбове. В 1925 г. окончил Московский университет, в котором с 1931 г. работал в должности профессора. Заведовал различными кафедрами, был деканом механико-математического факультета МГУ имени М. В. Ломоносова. Был одним из организаторов школьных математических кружков и олимпиад при МГУ, инициатором создания физико-математической школы-интерната при МГУ (1963).

А. Н. Колмогоров — автор классических работ по теории функций действительного переменного, теории множеств, топологии, конструктивной логике, функциональному анализу, механике, теории алгоритмов, теории информации. Основополагающее значение имеют его результаты в области теории вероятностей. Широко известна его деятельность по разработке методики и организации математического образования. А. Н. Колмогоров был председателем Московского математического общества, почетным доктором зарубежных университетов, иностранным членом многих академий и научных обществ, кавалером правительственных наград. Лауреат Государственной премии СССР (1941), Ленинской премии (1965) и многих международных премий.

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