Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis
- Authors: Khakhanyan VK.1
-
Affiliations:
- Institute of economy and finances MSURC (MIIT)
- Issue: No 3 (2009)
- Pages: 71-79
- Section: Articles
- URL: https://journals.rudn.ru/philosophy/article/view/11725
Cite item
Full Text
Abstract
In 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.
About the authors
V Kh Khakhanyan
Institute of economy and finances MSURC (MIIT)Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)