2020-01-14
237
Стяжкин Н.И. Формирование математической логики. М.: Наука, 1967.
По адресу http://eqworld.ipmnet.ru/ru/library/mathematics/logic.htm:
· Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu)
· Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu)
· Клини С. Математическая логика. М.: Мир, 1973 (pdf)
· Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu)
· Новиков П.С. Элементы математической логики (2-е издание). М.: Наука, 1973 (djvu)
· Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (pdf)
· Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (pdf)
· Чёрч А. Введение в математическую логику, т.1. М.: ИЛ, 1960 (pdf)
История возникновения и развития теории множеств.
Медведев Ф.А. Развитие теории множеств в XIX веке. М.: Наука, 1965.
Медведев Ф.А. Французская школа теории функций и множеств на рубеже XIX-XX вв. М., 1976. Переиздание: М.: КомКнига, 2006.
Кольман Э. Бернард Больцано. М., 1955. В приложении даны фрагменты математических работ Больцано.
Колядко В.И. Бернард Больцано. М., 1982.
|
|
|
Больцано Б. Учение о науке. (Избранное). СПб., 2003.
Больцано Б. Парадоксы бесконечного. Одесса, 1911. Есть переиздание.
Федоров Б.И. Логика Бернарда Больцано. Л., 1980.
Федоров Б.И. Фундаментальные математические понятия в «Наукоучении» Больцано // Современная логика: проблемы теории, истории и применения в науке. Вып.5. СПб., 1998. С.387-389.
Федоров Б.И. Б.Больцано как предшественник конструктивизма // Логические исследования. М., 2000. Вып.7. С.291-301; 2001. вып.8. С.210-217.
Богомолов С.А.
По адресу http://eqworld.ipmnet.ru/ru/library/mathematics/other.htm:
· Коэн П.Дж. Теория множеств и континуум-гипотеза. М.: Мир, 1969 (djvu)
· Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970 (djvu)
Успенский В.А. Теорема Геделя о неполноте. М., 1982.
История вычислительной техники.
Апокин И.А., Майстров Л.Е. Развитие вычислительных машин. М., 1974.
История возникновения и развития топологии.
Проект арифметизации анализа: Берлинская школа.
Вариационное исчисление и экстремальные задачи в математике и механике.
Полак Л.С. Вариационные принципы механики, их развитие и применение в физике. М., 1960.
Геометрические методы в механике XIX в.: Пуансо, Кориолис и др.
Теория устойчивости в механике и математике.
История механики жидкостей в XVIII-XX вв.
История теории упругости и пластичности.
Споры о методологии механики на рубеже XIX – XX вв.
Конструктивное направление в основаниях математики.
Марков А.А. О конструктивной математике // Труды Матем. ин-та АН СССР им. В.А.Стеклова 67, 1962, 8-14.
Шанин Н.А. Конструктивные вещественные числа и конструктивные функциональные пространства // Там же. С.15-294. См.: Введение и приложение.
|
|
|
Гейтинг А. Интуиционизм. Введение. М., 1965. См. комментарии ред. перевода А.А.Маркова.
Проблемы конструктивного направления в современной математике // Труды Матем. ин-та АН СССР им. В.А.Стеклова. Т.52 (1958). Т.67 (1962). Т.72 (1964). Т.93 (1967).
Гудстейн Р.Л. Рекурсивный математический анализ. М., 1970. Вступительная статья Н.А.Шанина. (pdf)
Кушнер Б.А. Лекции по конструктивному математическому анализу. М., 1973.
Bishop E. Foundations of constructive analysis. NY, 1967.
Трулстра А.С. Аспекты конструктивной математики // Справочная книга по математической логике. В 4-х частях. М., 1983. Ч.IV.
Мартин-Лёф П. Очерки по конструктивной математике. М., 1975.
Марков А.А., Нагорный Н.М. Теория алгорифмов. М., 1984.
Тростников В.Н. Конструктивные процессы в математике (Философский аспект). М., 1975.
Теория фракталов.
Мандельброт Б. Фрактальная геометрия природы. М., 2002.
