RUDN Journal of PhilosophyRUDN Journal of PhilosophyВестник Российского университета дружбы народов. Cерия: Философия2313-23022408-8900Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)11725ArticlesСтатьиAppearance and Development of Formal Intuitionistic Theories of Mathematical AnalysisПоявление и развитие формализованных интуиционистских теорий математического анализаKhakhanyanV KhХаханянВ ХКафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа)-Institute of economy and finances MSURC (MIIT)Институт экономики и финансов МГУПС (МИИТа)150320093NO3 (2009)№3 (2009)717912092016Copyright ©; 2009, Khakhanyan V.K.Copyright ©; 2009, Хаханян В.Х.2009Khakhanyan V.K.Хаханян В.Х.https://creativecommons.org/licenses/by-nc/4.0https://journals.rudn.ru/philosophy/article/view/11725In the article there is a review of investigations on intuitionistic formal theories of mathematical analysis. All main results and models, obtained at the end of 60-s, 70-s and at the beginning of 80-s of XX c. are given.В работе даётся обзор исследований по интуиционистским формализованным теориям математического анализа. Приведены все основные результаты и модели, полученные в конце 60-х, в 70-е и в начале 80-х гг. XX века.mathematical analysisintuitionistic logicbinary flownatural numberматематический анализинтуиционистская логикабинарный потокнатуральные числа1.Heyting A. Die formalen Regeln der intuitionistischen Mathematik. Sitzungsber preuss. Akad. Wiss. - Berlin, 1930. - S. 57-71, 158-169.2.Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. - М.: Наука, 1979.3.Клини С., Весли Р. Основания интуиционистской математики. - М.: Наука, 1978.4.Хаханян В.Х. Об онтологии математики: в каком смысле можно дать обоснование математике (заметки из доклада на Московском семинаре по философии математики 19 октября 2007 г.) // Философия науки. - Вып. № 14: Онтология науки. - М.: ИФРАН, 2009. - С. 64-76.5.Moschovakis J.R. Can there be no nonrecursive functions? // The Journal of Symbolic Logic. - 1971. - V. 36. - N 2. - P. 309-315.6.Kleene S.C. Constructive functions in FIM. - In: Logic, Methodology and Philosophy of Sciences III. - Amsterdam, 1968. - P. 137-144.7.Moschovakis J.R. A topological interpretation of second order intuitionistic arithmetic. math. - 1973. - N 26. - P. 261-275.8.Кроль М.Д. К топологическим моделям интуиционистского анализа. Один контрпример // Математические заметки. - 1976. - Т. 19. - № 6. - С. 859-862.9.Драгалин А.Г. Конструктивные модели теорий интуиционистских последовательностей выбора // В кн.: Исследования по формализованным языкам и неклассическим логикам. - М.: Наука, 1974. - С. 214-252.10.Troelstra A.S. Metamathematical investigations of intuitionistic arithmetic and analysis // Lecture Notes in Math. - 1973. - N 344.11.Myhill J. Notes towards an axiomatization of intuitionistic analysis // Logique et Analyse. - 1967. - V. 35. - P. 280-297.12.Myhill J. Formal systems of intuitionistic analysis I. Logic, Methodology and Philosophy of Science III. - North-Holland Public Co. - Amsterdam, 1988. - P. 161-178.13.Krol M. A topological model for intuitionistic analysis with Kripke'scheme // Z. math. Logik und Grundl. Math. - 1978. - 24. - P. 427-436.14.Кроль М.Д. Дизъюнктивное и экзистенциальное свойство интуиционистского анализа со схемой Крипке // ДАН СССР. - 1977. - Т. 234. - N 4. - С. 750-753.15.Troelstra A.S. The theory of choice sequences. In: Proceedings of Congress LMPS III. - Amsterdam, 1968. - P. 201-233.16.Kreisel G., Troelstra A.S. Formal systems for some branches of intuitionistic analysis // Annals of Math. Logic. - 1970. - V. 1. - P. 229-387.17.Kreisel G. Lawless sequences of natural numbers // Compositio math. - 1968. - V. 20. - P. 222-248.