Автор этой книги, выдающийся советский математик, академик Петр Сергеевич Новиков, родился в августе 1901 года.
Свою научную деятельность П. С. Новиков начал в двадцатые годы в области дескриптивной теории множеств. Петру Сергеевичу принадлежат глубокие научные результаты в области теории множеств, математической логики, теории алгоритмов и теории групп. Исключительная роль П. С. Новикова в развитии этих областей математики в СССР определяется также его многолетней педагогической деятельностью в МГПИ им. В. И. Ленина и в МГУ им. М. В. Ломоносова. П. С. Новиков создал большую научную школу в области математической логики и теории алгоритмов.
Его книга «Элементы математической логики», являющаяся первым отечественным курсом математической логики, пользуется большой популярностью как в нашей стране, так и за рубежом. Она переведена на английский, французский, итальянский и другие языки. В 1973 году вышло второе русское издание этой книги.
В дореволюционной гимназии (а одно время — и в советской школе) преподавали логику. Логику часто определяют как «науку о законах правильного мышления». Предполагалось, очевидно, что неотъемлемым атрибутом зрелости, по достижении которой человеку выдается аттестат, является умение мыслить (и к тому же — правильно мыслить).
Против самого замысла возразить что-либо трудно, но на деле чаще всего получалось, что умение (или неумение) мыслить — само по себе, а «предмет», именуемый логикой, — сам по себе. Величайшее достижение античной науки — формальная логика Аристотеля оказывалась “если и можно называть, слишком классической, чтобы ее можно было легко приспособить к нуждам быстро развивающихся естественных наук, не говоря уже о чисто практических приложениях.”
Настоящие «Очерки» написаны преимущественно для преподавателей математики средних школ и студентов физико-математических факультетов педагогических институтов. Их содержание не исчерпывает того, что теперь связывают со словом «введение», когда обращаются к вопросам обоснования математики. На первом месте стоят те вопросы обоснования математики, знание которых может оказаться полезным преподавателям математики средних школ.
Глава о математической логике написана Л. Е. Майстровым и Т. Л. Майстровой. Благодарим члена-корреспондента АН СССР П. С. Новикова, действительного члена АН УССР Б. В. Гнеденко и профессоров Э. Кольмана, К. А. Рыбникова и И. Я. Депмана, дружеские советы которых были учтены нами при окончательном редактировании «Очерков».
Будем также благодарны читателям за относящиеся к «Очеркам» замечания и пожелания, которые просим направлять по адресу: Москва, Чистые пруды, 6, Учебно-педагогическое издательство, редакция математики.
Книга включает перевод двух статей из «Справочника по математической психологии», изданного в США. В статьях обсуждаются проблемы измерений в экспериментальной психологии, приводится богатый материал по конкретным типам шкал и анализируются соотношения между физическими параметрами эксперимента и определяемыми ими психологическими параметрами.
Книга будет, несомненно, интересна как специалистам, работающим в области экспериментальной психологии, так и широкому кругу читателей, интересующихся применением математических методов к описанию явлений в других науках.
В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений.
Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует, однако, отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.
Человек тратит многие годы на учение и повседневную практику, прежде чем его начинают называть настоящим мастером своего дела. И лишь незначительную часть накопленных знаний и опыта удается ему использовать в новой области, если почему-либо приходится круто изменять специализацию.
Причины такого положения достаточно очевидны. Много ли общего, например, в работе электромонтера и учительницы, физиолога и чекиста? Можно ли сопоставить действия математика, слушающего доказательство новой теоремы, и искателя, готовящегося к очередному таежному путешествию, работника министерства, читающего сводки с предприятий, и радиотехника, ремонтирующего телевизор?
Тем не менее во всех перечисленных примерах разнообразных видов человеческой деятельности (число таких примеров можно было бы увеличивать до бесконечности) есть существенно общие черты. Это общность заключается в первую очередь в необходимости увязывать причины со следствиями, воздействуя с результатами, одни действия с другими действиями.
Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности; она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа.
Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.
Предлагаемая вниманию читателей книга польского логика Яна Лукасевича (1878—1956) «Аристотелевская силлогистика с точки зрения современной формальной логики» является одним из выдающихся его трудов.
До опубликования этой работы Лукасевич уже был известен и в Польше и за рубежом как представитель школы математической логики. Еще в 1921 году он издает труд по многозначной логике («Logica dwuwartościowa», Варшава). В 1929 году в печати появляется работа Лукасевича «Elementy logiki matematycznej» («Элементы математической логики»), где уже намечается позднейшее его истолкование силлогистики Аристотеля.
Вслед за тем он совместно с Тарским выпускает «Untersuchungen über das Aussagenkalkül» («Исследования по исчислению высказываний»), 1930. После этого он публикует работы: «Zur Geschichte der Aussagenlogik» («К истории логики высказываний»), 1935 (в № 2—3 V тома журнала «Erkenntniss»); «Die Logik und Grundlagenproblem» («Логика и проблема обоснования»), 1938.
Мы продолжаем формализованное описание математики. Основным объектом первой части курса было математическое доказательство; было показано, что его подходящим формальным аналогом является понятие вывода в языке, после чего самые интересные результаты утверждали невозможность осцлерательных математических утверждений (например, гипотезы континуума).
Основным объектом этой второй части курса будет детерминированный процесс вычисления, или переработки нечисловой информации, короче, алгоритм. Будет построено подходящее формальное описание алгоритмов (точнее, результаты их действий), и самые интересные результаты окажутся утверждением о несуществовании алгоритмов, вычисляющих содержательно описываемые функции.
Содержанием математической логики является изучение языка математики. Разумеется, забота о языке и постоянная его перестройка для приведения в соответствие с меняющимся состоянием знаний характерна для любой естественной науки (ср. судьбу “флогистона” и “мирового эфира” в физике).
Тем не менее, необходимая работа обычно осуществляется по ходу дела, и то пристальное критическое рассмотрение, которому математика подвергла самое себя и свои средства выражения, представляется уникальным.
Причина этого состоит, конечно, в том, что все остальные естественные науки имеют предмет, внешний им, и эволюция языка наук определяется постоянным сравнением научного описания с описываемой реальностью.
