Настоящая книга - сборник избранных работ выдающегося русского математика и философа Дмитрия Дмитриевича Мордухай-Болтовского (1876-1952). Учитывая широту диапазона его интересов - трудно найти историко-философско-математгтчесную проблему, которую в той или иной форме он не затронул в своих многочисленных работах - перед составителями стояла проблема отбора тех его статей, которые наиболее адекватно отражают основные черты его творчества. В сборник включены работы, отражающие подход ученого к триаде; "Философия - Психология - Математика". Материалы книги впервые публикуются для широкого ознакомления.

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

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

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

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

Ч. 1. - 2001. - 334 с.

1 модуль: Предмет теорії ймовірностей та математичної статистики. 2 модуль: Випадкові події та їх ймовірності. 3 модуль: Елементи комбінаторики та застосування комбінаторного інструментарію при обчисленні ймовірностей. 4 модуль: Алгебра подій. Основні теореми теорії ймовірностей. 5 модуль: Аксіоматична побудова теорії ймовірностей. 6 модуль: Незалежність подій. Послідовності незалежних випробувань. 7 модуль: Випадкові величини. 8 модуль: Дискретні випадкові величини.

В учебном пособии (изд-во МГУ) рассматриваются основы теории вероятностей и понятия статистической проверки гипотез. Обсуждаются теория стационарных случайных процессов, теория марковских цепей и процессов, включая центральную предельную теорему для цепей Маркова и предельный переход от динамической системы к диффузионному процессу. Обобщен опыт различных конкретных применений теории вероятностей. Рассмотрены вопросы приложений теории случайных процессов, включающие, в частности, проблему прогноза с использованием вероятностных моделей и методов. Для студентов физико-математических и физико-технических специальностей.

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

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

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

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

Монография выдающегося польского математика Анджея Мостовского фактически представляет собой вторую часть уже известной читателю книги К. Куратовского и А. Мостовского «Теория множеств», переведенной па русский язык («Мир», 1970). Она посвящена описанию исследований по аксиоматике теории множеств и содержит современные достижения в этой области, включая методы Коэна. Высокие научные и методические достоинства книги, несомненно, привлекут к ней внимание широкого круга математиков — от студентов до специалистов.

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

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

Первой «круглой» датой нашего столетия явился 1900 год — этот год был ознаменован замечательной речью крупнейшего математика того времени Давида Гильберта, сформулировавшего целый ряд проблем, которые век XIX, так сказать, «завещал» XX веку. Следующей круглой датой следовало считать 1950 год — и эта дата вызвала у одного из самых выдающихся математиков первой половины нашего столетия — Германа Вейля (кстати сказать, ученика Давида Гильберта) желание поделиться с широкой математической публикой своими впечатлениями об успехах математики за первые пять десятилетий XX века и об общих тенденциях, которые можно было усмотреть о процессе развития математики за этот период.Так родилась статья «Полвека математики» , русский перевод которой предлагается ныне вниманию нашего читателя.

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

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

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

Ч. 1 : Теория моделей. - 1982. - 392 с.