Учебное пособие соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.
Предназначается для студентов пединститутов.
В настоящее время интерес к математической логике и теории алгоритмов непрерывно растет. Все большее число высших учебных заведений включает в обязательную программу обучения курсы математической логики, теории алгоритмов или их фрагменты. Специалисты в области ЭВМ начинают осознавать, что эти разделы математики являются фундаментом для построения настоятельно необходимой сейчас хорошей теории математического обеспечения и теории вычислений.
Многие специалисты далеких от математики разделов науки начинают сознательно знакомиться с достижениями математической логики. За последние годы вышли переводы многих хороших книг по математической логике и теории алгоритмов, однако ни эти переводы, ни довольно бедный ассортимент отечественных книг не могут полностью удовлетворить запросы читателей.
Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу советских читателей.
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника.
Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики.
Содержавшееся в этом томе Введение (стр. 15—63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самым широким кругом научных работников, интересующихся вопросами математической логики.
Развитие современной науки все с большей необходимостью ставит вопрос о тесном союзе естествоиспытателей, математиков и философов.
Необходимость укрепления союза естествознания, математики, с одной стороны, и марксистской философии — с другой, еще более возрастает в связи с принятием XXII съездом КПСС новой программы строительства коммунизма в нашей стране.
Н. С. Хрущев в докладе «О программе Коммунистической партии Советского Союза» отмечает, что «коммунистическое общество будет иметь самую развитую технику, самое развитое и организованное производство, самые совершенные машины». В связи с этим в огромной мере возрастает значение комплексной механизации и автоматизации производства.
Новая Программа КПСС подчеркивает важное значение формирования передового научного коммунистического мировоззрения в условиях развернутого строительства коммунизма, что обусловливает повышение роли и ответственности наук, в том числе и марксистской философии.
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Математика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями.
Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории.
Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической логики в системе научного познания.
В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных «умных» и «думающих» машин.
Книга рассчитана на научных работников, аспирантов, студентов и учителей средней школы, а также на широкий круг читателей, интересующихся философией, логикой и математикой.
Интенсивное развитие математической логики в последнее время сопровождается увеличением её роли в математике.
Одной из основных задач математической логики остаётся анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики.
Из её идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого остались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашёл применение в вопросах конструкции вычислительных машин и автоматических устройств.
Автор этой книги, выдающийся советский математик, академик Петр Сергеевич Новиков, родился в августе 1901 года.
Свою научную деятельность П. С. Новиков начал в двадцатые годы в области дескриптивной теории множеств. Петру Сергеевичу принадлежат глубокие научные результаты в области теории множеств, математической логики, теории алгоритмов и теории групп. Исключительная роль П. С. Новикова в развитии этих областей математики в СССР определяется также его многолетней педагогической деятельностью в МГПИ им. В. И. Ленина и в МГУ им. М. В. Ломоносова. П. С. Новиков создал большую научную школу в области математической логики и теории алгоритмов.
Его книга «Элементы математической логики», являющаяся первым отечественным курсом математической логики, пользуется большой популярностью как в нашей стране, так и за рубежом. Она переведена на английский, французский, итальянский и другие языки. В 1973 году вышло второе русское издание этой книги.
В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений.
Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует, однако, отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.
Человек тратит многие годы на учение и повседневную практику, прежде чем его начинают называть настоящим мастером своего дела. И лишь незначительную часть накопленных знаний и опыта удается ему использовать в новой области, если почему-либо приходится круто изменять специализацию.
Причины такого положения достаточно очевидны. Много ли общего, например, в работе электромонтера и учительницы, физиолога и чекиста? Можно ли сопоставить действия математика, слушающего доказательство новой теоремы, и искателя, готовящегося к очередному таежному путешествию, работника министерства, читающего сводки с предприятий, и радиотехника, ремонтирующего телевизор?
Тем не менее во всех перечисленных примерах разнообразных видов человеческой деятельности (число таких примеров можно было бы увеличивать до бесконечности) есть существенно общие черты. Это общность заключается в первую очередь в необходимости увязывать причины со следствиями, воздействуя с результатами, одни действия с другими действиями.
