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

Доказательства тождеств; задачи арифметического характера; Тригонометрические и алгебраические задачи; Задачи на доказательство неравенств; Доказательство некоторых теорем элементарной алгебры методом математической индукции

Теорема Гёделя о неполноте — едва ли не самая знаменитая теорема математики. Она утверждает, что какие бы способы доказывания ни предложить, в любом достаточно богатом языке найдутся истинные, но не доказуемые утверждения. Богатство языка есть его способность выражать факты. Оказывается, что для целей теоремы Гёделя богатство языка достаточно понимать как его способность выражать принадлежность натуральных чисел перечислимым множествам. Понятие перечислимого множества — одно из основных понятий теории алгоритмов: непустое множество называется перечислимым, если его можно расположить в вычислимую последовательность. Таким образом, теорема Гёделя имеет алгоритмические истоки. Возможны четыре принципиально различные пути, ведущие от этих истоков к теореме; эти пути были предложены, соответственно, Гёделем, Колмогоровым, Чейтином и Шенем.

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др.

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

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

Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики(теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - течения в математике, видным представителем которого является автор.

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

Теория числовых систем лежит в основе всех математических курсов, читаемых сейчас в высших учебных заведениях, и входит в программу курсов алгебры, математического анализа. вычислительной математики и пр. Каждый лектор при этом выбирает из обширного материала то, что ему кажется наиболее важным, излагает его со своей точки зрения, иллюстрируя на классическом материале нужные ему идеи и конструкции. Естественно, что никакой цельной картины при этом, как правило, не возникает. Этот пробел частично будет восполнен предлагаемым переводом книги Фефермана "Числовые системы". О содержании книги вполне можно судить по подробному оглавлению. Вначале автор излагает элементы математической логики, наивной теории множеств вплоть до возникновения парадоксов. Затем выбирается некоторая система аксиом теории множеств (она приводится полностью в добавлении I), лежащая в основе всего дальнейшего изложения. Аксиоматическое изложение обычно перегружается формальными выкладками, затрудняющими чтение. Автор, на мой взгляд, удачно избегает этого, вместе с тем сохраняя достаточную строгость, и всюду заботится о логической обоснованности каждого нового шага, каждого введения нового понятия, стараясь заблаговременно подготовить читателя к этому. Автор также показывает важность полученных результатов, мотивирует необходимость изучения возникающих вопросов и, наконец, не только знакомит читателя с некоторым кругом идей и методов, но и старается развивать у него определенные навыки творческого мышления, навыки в решении задач. Перечисленные методические достоинства наряду с несомненными научными позволяют рекомендовать книгу в качестве учебного пособия для физико-математических школ, для студентов младших курсов педагогических вузов и университетов. Без сомнения, она должна заинтересовать также учителей математики школ и преподавателей математики высших учебных заведений.

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

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

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

Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.

Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.

В сборник избранных работ выдающихся немецких мыслителей - братьев Г. Грассмана (1809-1877) и Р. Грассмана (1815-1901), занимавшихся математикой, философией, логикой, филологией, включены тексты, раскрывающие разные стороны философских воззрений и методологии авторов. Тексты Грассманов подробно прокомментированы и снабжены обширным Послесловием. Для широкого круга читателей, интересующихся историей философии, логикой, философией математики, методологией науки

Предлагаемая книга посвящена разъяснению одного из самых основных понятий математики — понятия линии. Кажущееся на первый взгляд очень простым, понятие линии требует для своего общего и полного определения довольно значительных сведений из теории точечных множеств, получившей особенное развитие за последние 50 лет. Именно этим можно объяснить то обстоятельство, что вопрос об определении понятия линии, поставленный еще в древности, нашел свое полное и отчетливое разрешение лишь в 20-х годах текущего столетия. Заслуга решения этого вопроса принадлежит советскому математику П. С. Урысону. Настоящая книга рассчитана прежде всего на студентов университетов и педагогических институтов, как дополнительный материал к тем общим и специальным курсам, в которых учащихся знакомят с основами теории множеств. Эта книга имеет в виду также учителей средней школы, самостоятельно работающих над повышением уровня своих знаний. Под руководством учителя некоторые разделы книги могут быть использованы в работе школьных математических кружков.

Сборник содержит текст известного доклада Гильберта «Математические проблемы», произнесенного на II Международном Конгрессе математиков, проходившем в Париже с 6 по 12 августа 1900 г. Этот доклад охватывает проблемы математики в целом и оказывается уникальным явлением в истории математики и в математической литературе. По своему характеру проблемы Гильберта очень разнородны. Они начинаются с теории множеств (континуум-проблема) и обоснования математики, переходят далее к основаниям геометрии, теории непрерывных групп, теории чисел, алгебре и алгебраической геометрии и заканчиваются анализом. Какие из гильбертовских проблем решены, какие еще нет, - об этом читатель может узнать из комментариев к этим проблемам.