Constructive mathematic: review of progress, lacks and lessons. Part II
Article Sidebar
Published:
03.05.2012
Keywords:
intuitionism, constructivism, realizability, computability, applications of constructivism
Main Article Content
Abstract
Lessons of soviet constructivism and their relations to practice are displayed here.
Downloads
Download data is not yet available.
Article Details
How to Cite
Nepeivoda N. Constructive mathematic: review of progress, lacks and lessons. Part II // Logicheskie Issledovaniya / Logical Investigations. 2012. VOL. 18. C. 157-181.
Issue
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.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 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.