Метаморфозы конструктивной математики в СССР
Автор: Веревкин Андрей Борисович
Журнал: Симбирский научный Вестник @snv-ulsu
Рубрика: Философия и культурология
Статья в выпуске: 1 (15), 2014 года.
Бесплатный доступ
Статья посвящена истории интуиционизма в СССР. Показаны причины выделения из интуиционизма конструктивизма, сводящего интуитивную эффективность к алгоритмической разрешимости. Сравниваются результаты Марковского и Бишоповского конструктивизма.
Философия математики, интуиционизм, ультраинтуиционизм, конструктивизм, принцип маркова
Короткий адрес: https://sciup.org/14113874
IDR: 14113874
Список литературы Метаморфозы конструктивной математики в СССР
- Van Atten, M. Luitzen Egbertus Jan Brouwer//The Stanford Encyclopedia of Philosophy (Summer 2011 Edition).
- Френкель А. А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966.
- Ленин В. И. Материализм и эмпириокритицизм//Ленин В. И. ПСС. Изд. 5-е. Т. 18. М.: ИПЛ, 1968. С. 48, 171, 279, 311, 328 и др.
- Рид К. Гильберт. М.: Наука, 1977. С. 48-49.
- Гейтинг А. Интуиционизм. М.: Мир, 1965.
- Аристотель. Физика. Кн. 1, гл. 4//Аристотель. Соч.: в 4 т. Т. 3. М.: Мысль, 1981. С. 69.
- Вейль Г О философии математики: Сб. работ. М.; Л.: ГТТИ, 1934. С. 100-128.
- Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. М.: Наука, 1978. С. 184-238.
- Есенин-Вольпин А. С Об антитрадиционной (ультра-интуиционистской) программе оснований математики и естественнонаучном мышлении//Вопр. философии. 1996. № 8. С. 100-136.
- Непейвода Н. Н. Интуиционизм//Энциклопедия эпистемологии и философии науки. М.: Канон+, 2009. С. 302-305;
- Конструктивная математика: обзор достижений, недостатков и уроков. Ч. I//Логические исследования. Вып. 17. М.; СПб.: Центр гуманитарных инициатив, 2011. С. 191-239.
- Марков А. А. Конструктивная логика // УМН. 1950. Т. 5, № 3. С. 187-188; Теория алгорифмов // Тр. Матем. ин-та им. В. А. Стеклова. 1951. Т. 38. С. 176-189.
- Марков А. А. Теория алгорифмов//Тр. Матем. ин-та им. В. А. Стеклова. 1954. Т. 42. С. 3-375 (переиздана в соавт. с Н. М. Нагорным в 1984 и 1996 гг.).
- Марков А. А. О конструктивной математике//Тр. Матем. ин-та им. В. А. Стеклова. 1962. Т. 67. С. 8-14.
- Сосинский А. Б. А не может ли гипотеза Пуанкаре быть неверной?//Тр. Матем. ин-та им. В. А. Стеклова. 2004. Т. 247. С. 247-251.
- Непейвода Н. Н., Бельтюков А. П. Манифест прикладного конструктивизма//Логические исследования. 2010. № 16. С. 199-204.
Статья научная
