SCI Библиотека

Предлагаемая вниманию читателя книга Р. Р. Столла может быть рекомендована в качестве первоначального пособия — помимо тех категорий читателей, которые указывает в своем предисловии автор, — каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги.

Несколько более трудна (по степени абстракции и сложности излагаемых в ней концепций) третья глава, в которой разъясняются важнейшие установки аксиоматического метода, затрагиваются проблематика оснований математики и взаимоотношения между формализованными логико-математическими теориями, их метатеориями и интерпретациями; изложение этих вопросов носит более эскизный характер, нежели в первых двух главах. Заключительная, четвертая глава иллюстрирует содержание предыдущих глав примерами и разнообразно детализирует теорию в алгебре; некоторые из аксиоматических рассмотрений этой главы, быть может, окажутся небезынтересными и для математиков.

Предлагаемое «Логическое введение в математику» предназначается для студентов первого года обучения математических специальностей педагогических институтов. Оно содержит элементы теории множеств, математической логики и их применение в математике, иллюстрированные известным из школьного курса элементарным математическим материалом. Это содержание еще не является установившимся, оно не зафиксировано в каких-либо официальных программах и может служить предметом обсуждения.

Однако предлагаемое содержание представляет собой то общее, что встречается во многих проектах такого вводного курса, целесообразность которого уже является в настоящее время общепризнанной.

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

Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней. Ее принципы применяются не только в математике, но и в логических элементах вычислительных устройств, при машинном переводе с одного языка на другой, в сложных кибернетических системах и в других многочисленных областях и практиках.

Нынешний расцвет математической логики был подготовлен веками длительной и многообразной эволюции логических теорий и учений. Автор описывает узловые вехи в становлении и развитии наиболее ценных, с современной точки зрения, логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной логики до идеографии Д. Пеано, от силлогистики Аристотеля до Г. Лейбница и алгебро-логических концепций XIX—XX вв.

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

Книга предназначена для студентов и преподавателей педагогических вузов.

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

Исследование рассматриваемых в этой книге проблем может служить темой курсовых и дипломных работ студентов, а также материалом для проведения ими педагогических экспериментов.

Книга может быть использована и учителями в их практической работе.

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

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

Книга, принадлежащая перу известных польских логиков, посвящена изложению основ современной формальной (математической или теоретической, или символической) логики и теории множеств для читателей гуманитарного профиля.

В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.

Книга Е. Слупецкого и Л. Борковского является хорошей основой для дальнейшего изучения более трудных и обстоятельных работ по современной логике и основаниям математики.

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

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

Новая область математики — теория моделей получила интенсивное развитие в последние двадцать лет. В книге известного математика Дж. Сакса содержится тщательное изложение и классических, и новейших результатов теории; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. Эта теория позволила решить многие задачи, казавшиеся ранее неприступными.

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

Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.

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

Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории.

Роль науки в наши дни существенно отличается от той, которую она играла сто или двести лет назад. Отличие это заключается в том, что 1) наука превратилась в особую, широко разветвлённую отрасль общественного производства, массового производства знаний; 2) объём научных исследований возрастает с необычайной, всё время увеличивающейся скоростью.

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