Конструктивная математика: обзор достижений, недостатков и уроков. Часть I
##plugins.themes.bootstrap3.article.sidebar##
Published:
10.04.2011
##plugins.themes.bootstrap3.article.main##
Abstract
The whole manifold of constructivist conceptions of last century is analyzed. They are systematized and some aspects and lessons for naive attempts of applying are highlighted.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Nepeivoda N. Конструктивная математика: обзор достижений, недостатков и уроков. Часть I // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 191-239.
Issue
Section
Papers
References
Brouwer L.E.J. Over de grondslagen der wiskunde. Amsterdam: Thesis, 1907.
Brouwer L.E.J. De onbetrouwbaarheid rer logische principes // Tijdschrift voor wijsbegeerte, 2, 1908.
Brouwer L.E.J. Intuitionisme en formalisme. Groningen, 1912.
Brouwer L.E.J. Besitzt jede reele Zahl eine dezimalbruchentwicklung? // Proc. Acad. Amsterdam, 23, p 949-954.
Гейтинг А. Интуиционизм. Введение. _., 2010.
Ершов Ю.Л. Теория нумераций. М.: Наука, 1977.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 2010.
Brouwer L.E.J. De onbetrouwbaarheid rer logische principes // Tijdschrift voor wijsbegeerte, 2, 1908.
Brouwer L.E.J. Intuitionisme en formalisme. Groningen, 1912.
Brouwer L.E.J. Besitzt jede reele Zahl eine dezimalbruchentwicklung? // Proc. Acad. Amsterdam, 23, p 949-954.
Гейтинг А. Интуиционизм. Введение. _., 2010.
Ершов Ю.Л. Теория нумераций. М.: Наука, 1977.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 2010.