Зарубежные направления в философии математики и их преломление в философско-логической и историко-математической мысли России XVIII-начала XX века. (Продолжение)

##plugins.themes.bootstrap3.article.main##

B.V. Biryukov
Z.A. Kuzicheva

Abstract

The article discusses foreign trends in the philosophy of mathematics and their refraction in the philosophical-logical and historical-mathematical thought of Russia in the XVIII - early XX centuries.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Грассман Г Чистая математика и учение о протяженности / Перев. П.С. Юшкевича // Новые идеи в математике. Сборник 1. СПб, 1913. С. 78-95.
Каган В. Ф. Теоретические основания математики // Энциклопедический словарь «Гранат». Т. 41, VII.
Яновская С.А. Категория количества у Гегеля и сущность математики. // Под знаменем марксизма. Ежемесячный философский и обществ[енно]- эконом[ический] журнал. М., 1928, № 3. В подстрочном примечании к статье указано: «Из доклада, читанного в семинаре по Гегелю на естественном отделении Института Красной Профессуры».
Грассман Г. Чистая математика и учение о протяженности. С. 69.
«Философская энциклопедия». 1960. Т. 2; 1967. Т. 4.
Яновская С.А. Предисловие к русскому переводу // А. Тьюринг. Может ли машина мыслить? С приложением статьи Дж. фон Неймана «Общая и логическая теория автоматов». Редакция и предисловие С.А. Яновской. М., 1960. С. 10, 17.
Жегалкин И.И. Трансфинитные числа. М., 1907.
Жегалкин И.И. О технике вычисления предложений в символической логике // Матем. сб. 1927. Т. 34, вып. 1. С. 9.
Жегалкин И.И. Арифметизация символической логики // Матем. сб. 1928. Т. 35, вып. 3-4; 1929. Т. 36, вып. 3-4; Он же. К проблеме разрешимости // Матем. сб. 1939. Т.6 (48), вып 2; Он же. Проблема разрешимости на конечных классах // Ученые записки. МГУ. 1946. Вып. 3-4.
Шуранов Б.М. Иван Иванович Жегалкин: вклад в математическую логику // Вестник Международного славянского университета. Вып. 4. М., 1998. С. 32-33.
Новоселов Н.Н. Эффективизм // Философская энциклопедия. 1970. Т. 5.
Бирюкова Л.Г., Бирюков Б.В. Из истории генетического метода: об одном опыте осмысления грассмановской индуктивно-рекурсивной арифметики (В.Ф. Каган) // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции. [СПб], Изд-во С.- Петербургского ун-та, 2000.
Бирюкова Л.Г., Бирюков Б.В. «Учение о формах (величинах)» Германа и Роберта Грасманов как предвосхищение конструктивного направления в математике I. // Вопросы кибернетики. Кибернетика и логическая формализация. Аспекты истории и методологии. М., 1982 [Издание научного совета по кибернетике АН СССР].
Бирюков Б. Грассман Роберт // Философская энциклопедия. 1960.Т. 1.
Малыхина Г.И. Логические исследования Роберта Грассмана. Дисс. канд. фи- лос. наук. Л., 1981.
Нао Wang. The axiomatization of arithmetic // Journal of Symbolic Logic. 1957. Vol. 22. P. 145-158.