Вейль Г. О философии математики

Москва; Ленинград: Государственное технико-теоретическое издательство, 1934. — 128 с. Книга выдающегося немецкого математика Германа Вейля (1885-1955) посвящена философии математики. Она состоит из трех разделов. Первый раздел дает общий исторический обзор проблемы обоснования математики. Во втором довольно детально излагаются идеи и приемы математической логики, аксиоматический метод, учение о числе, идеи интуиционизма и формализма. Третий раздел содержит систематическое и подробное описание развития интуиционистских воззрений, рассматриваемых с точки зрения автора. Рекомендуется математикам, философам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей. Предисловие С. А. Яновской.
От переводчика.
Cовременнное состояние проблемы познания в математике.
От Анаксагора до Дедекинда.
Теоретико-множественное обоснование математики.
Антиномии и теория типов Рееселя.
Интуитивная математика Броуера.
Символическая математика Гильберта.
Философия математики.
Математическая логика Аксиоматика.
Отношения и их соединение Структура сужденийi.
Творческое определение в математике.
Логическое умозаключение.
Аксиоматический метод.
Число и континуум. Бесконечное.
Рациональные числа Комплексные числа.
Натуральные числа.
Иррациональность и бесконечно малое.
Теория множеств.
Интуитивная математика.
Символическая математика.
О сущности математического nознания.
О новом кризисе основ математики.
Атомистическая концепция континуума.
Порочный круг.
Конструкция.
Континуум как среда свободного становления.
Основные идеи.
Понятие функции.
Fttnctio discreta.
Functio mixta.
Functio continua.
Математические теоремы, свойства и множества.
Континуум.