Читать онлайн «Математическая логика»

1осковский государственный университет имени М. В. Ломоносова ЛАССИЧЕСКИИ УНИВЕРСИТЕТСКИЙ УЧЕБНИК А. Н. Колмогоров, А. Г. Драгалин МАТЕМАТИЧЕСКАЯ ЛОГИКА Серия КЛАССИЧЕСКИЙ УНИВЕРСИТЕТСКИЙ УЧЕБНИК основана в 2002 году по инициативе ректора МГУ им. М. В. Ломоносова академика РАН В. А. Садовничего и посвяшена 250-летию Московского университета КЛАССИЧЕСКИЙ УНИВЕРСИТЕТСКИЙ УЧЕБНИК Редакционный совет серии Председатель совета ректор Московского университета В. А. Садовничий Члены совета: Виханский О. С. , Голиченков А. К. , Гусев М. В. , Добреньков В. И. , Аониов А. И. , Засурский Я. Н. , Зинченко Ю. П. (ответственный секретарь), Камзолов А. И. (ответственный секретарь), Карпов СП. , Касимов Н. С. , Колесов В. П. , Лободанов А. П. , Лунин В. В. , Лупанов О. Б. , Мейер М. С. , Миронов В. В. (заместитель председателя), Михалев А. В. , Моисеев Е. И. , Пушаровский Д. Ю. , Раевская О. В. , Ремнева М. Л. , Розов Н. Х. , Салеикий A. M. (заместитель председателя), Сурин А. В. , Тер-Минасова С. Г. , Ткачук В. А. , Третьяков Ю. Л. , Трухин В. И. , Трофимов В. Т. (заместитель председателя), Шоба С. А. Московский государственный университет имени М. В. Ломоносова А. Н. Колмогоров, А. Г. Драгалин МАТЕМАТИЧЕСКАЯ ЛОГИКА Допушено Министерством высшего и срелнего спеииального образования СССР в качестве учебного пособия для студентов математических специальностей вузов Издание третье, стереотипное URSS ББК 22. 12 87. 4 Редакционная коллегия: Г. Е. Минц (ответственный редактор), М. К. Валиев, Е. Г. Драгалина-Чёрная, Н. М. Нагорный, Н. Н. Непейвода, В. Н. Садовский, Е. Д. Смирнова Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич Математическая логика. Изд. 3-е, стереотипное. — М. : КомКнига, 2006. 240 с. (Классический университетский учебник. ) ISBN 5-484-00520-5 А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Печатается по решению Ученого совета Московского университета Издательство «КомКнига». 117312, г. Москва, пр-т 60-летия Октября, 9. Подписано к печати 09. 03. 2006 г. Формат 60x90/16. Печ. л. 15.