Metamorphosis of constructive mathematics in the USSR
Автор: Verevkin Andrey Borisovich
Журнал: Симбирский научный Вестник @snv-ulsu
Рубрика: Философия и культурология
Статья в выпуске: 1 (15), 2014 года.
Бесплатный доступ
The article is devoted to the history of intuitionism in the USSR. It shows the reasons for the selection of intuitionism constructivism, which reduces intuitive efficiency to algorithmic solvability. It also compares the results of Markov and Belopolskiy constructivism.
Philosophy of mathematics, intuitionism, constructivism, markov''s principle, ultraintuitionism
Короткий адрес: https://sciup.org/14113874
IDR: 14113874
Статья научная
