О понятии конечного множества в конструктивной математике
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
конструктивная математика, марковский конструктивизм, конечное множество
Main Article Content
Аннотация
Известно, что понятие бесконечного множества немонолитно с точки зрения конструктивной математики А. А. Маркова. В статье представлен один общий подход к конструктивистской концепции «типа бесконечности».
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Владимиров А. О понятии конечного множества в конструктивной математике // Логические исследования / Logical Investigations. 2011. Т. 17. C. 84-94.
Выпуск
Раздел
Статьи
Литература
Veldman W. Some intuitionistic variations on the notion of a finite set of natural numbers// Repsectives on negation. Tilburg Univ. Press, Tilburg, 1995. P. 177-202.
Владимиров А.А. Об иерархиях конечных множеств // ДАН. 2006. Т. 406, № 3. С. 295-297.
Владимиров А.А. О сравнении интегралов Дарбу и Римана в конструктивном математическом анализе // Препринт доступен на сайте http://arxiv.org/abs/0911.2892
Владимиров А.А., Домбровский-Кабанченко _.H. Ступенчатая семантическая система. М.: Изд-во ВЦ РАН, 2009.
Заславский И.Д. Некоторые свойства конструктивных вещественных чисел и конструктивных функций // Труды матем. ин-та им. В. А. Стеклова. Т. 67. С. 385-457.
Кушнер Б.А. Лекции по конструктивному математическому анализу. М.: Наука, 1973.
Марков А.А. Попытка построения логики конструктивной математики // Исследования по теории алгорифмов и математической логике. Т. 2. М.: Изд-во ВЦ АН СССР, 1976. С. 3-31.
Марков А.А., Нагорный _.М. Теория алгорифмов. М.: ФАЗИС, 1996.
Нагорный _.М. Монолитно ли понятие конечного множества? (По поводу одной непубликовавшейся работы А.А. Маркова) // Марков А.А. Избр. труды. Т. 2. М.: Изд-во МЦНМО, 2003. С. 527-534.
Нагорный _.М., Шанин Н.А. Андрей Андреевич Марков (к шестидесятилетию со дня рождения) // Успехи матем. наук. 1964. Т. 19, № 3. С. 207-223.
Роджерс X. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972.
Владимиров А.А. Об иерархиях конечных множеств // ДАН. 2006. Т. 406, № 3. С. 295-297.
Владимиров А.А. О сравнении интегралов Дарбу и Римана в конструктивном математическом анализе // Препринт доступен на сайте http://arxiv.org/abs/0911.2892
Владимиров А.А., Домбровский-Кабанченко _.H. Ступенчатая семантическая система. М.: Изд-во ВЦ РАН, 2009.
Заславский И.Д. Некоторые свойства конструктивных вещественных чисел и конструктивных функций // Труды матем. ин-та им. В. А. Стеклова. Т. 67. С. 385-457.
Кушнер Б.А. Лекции по конструктивному математическому анализу. М.: Наука, 1973.
Марков А.А. Попытка построения логики конструктивной математики // Исследования по теории алгорифмов и математической логике. Т. 2. М.: Изд-во ВЦ АН СССР, 1976. С. 3-31.
Марков А.А., Нагорный _.М. Теория алгорифмов. М.: ФАЗИС, 1996.
Нагорный _.М. Монолитно ли понятие конечного множества? (По поводу одной непубликовавшейся работы А.А. Маркова) // Марков А.А. Избр. труды. Т. 2. М.: Изд-во МЦНМО, 2003. С. 527-534.
Нагорный _.М., Шанин Н.А. Андрей Андреевич Марков (к шестидесятилетию со дня рождения) // Успехи матем. наук. 1964. Т. 19, № 3. С. 207-223.
Роджерс X. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972.