Constructive mathematic: review of progress, lacks and lessons. Part II

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

N.N. Nepeivoda

Abstract

Lessons of soviet constructivism and their relations to practice are displayed here.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Ершов Ю.Л. Теория нумераций. М.: Наука, 1977. 416 с.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 2010. 720 с.
Городняя Л.В. Основы функционального программирования. М: ИНТУИТ, 2004. 270 с.
Ершов Ю.Л. Теория нумераций. М.: Наука, 1977. 416 с.
Колмогоров А.Н. Zur deutung der intuitionistischen Logik // Math. Z., 35 (1932), 58-65.
Непейвода А.Н. О сюръективной импликации в реверсивной логике // Смирновские чтения 5, (2009). С. 72-74.
Непейвода Н.Н. Прикладная логика. Новосибирск: НГУПресс, 2000. 448 с.
Непейвода Н.Н. О прикладных теориях с суперинтуиционистскими логиками // Логические исследования. Вып. 7. С. 61-71. M.: Наука, 2000.
Непейвода Н.Н., Скопин И. Н. Основания программирования. М.; Ижевск, 2004.
Непейвода Н.Н. Конструктивная математика: обзор достижений, недостатков и уроков. Часть 1 // Логические исследования. Вып. 17. М.;СПб, 2011. С. 191-239.
Шанин Н.А. О конструктивном понимании математических суждений. Тр. МИАН СССР, 52, 1958. С. 226-311.
Шурыгин В.А. Основы конструктивного математического анализа. М.: URSS, 2009. 326 с.
Brouwer L.E.J. Over de grondslagen der wiskunde. Thesis. Amsterdam, 1907.
Brouwer L.E.J. De onbetrouwbaarheid der 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. Р. 949-954.
Brouwer L.E.J. Richtlijnen der intuitionistische wiskunde // Proc. Acad. Amsterdam, 50, 339. 1947.
Glivenko V. Sur la logique de M.Brouwer // Academie Royalede Belgique. Bulletins de la classe des sciences. Ser. 5, 14, 1928. Р. 225-228.
Glivenko V. Sur quelques points de la logique de M.Brouwer // Academie Royale de Belgique. Bulletins de la classe des sciences. Ser. 5, 15, 1929. P. 183-188.
Kleene S.C. Introduction in metamathematics. New-York: 1952 (русский перевод С.К. Клини. Введениев метаматематику. М., 1957).
Kreisel G., Lacombe D. Ensembles recursivement measurables et ensembles recursivement ouvert les fermes//Compt. rend Acad. si. Paris 245, № 14 (1957). Р. 1106-1109.
Kreisel, G., Troelstra A.S. Formal systems for some branches of intuitionistic analysis // Ann. Math. Log., 1:229-387. 1970.
Martin-Lof P. Notes on constructive mathematics. Almqvist&Wiskell, Stockholm, 1970.
Troelstra A.S. History of Constructivism in the Twentieth Century // University of Amsterdam, ITLI Prepublication Series ML-91-05, 1991.
Troelstra A.S. From Constructivism to Computer Science // Theoretical Computer Science 211, 233-252. 1999.