Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

V Kh Khakhanyan; Хаханян В Х

Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Authors: Khakhanyan VK.¹
Affiliations:
1. 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.

Keywords

mathematical analysis, intuitionistic logic, binary flow, natural number

About the authors

V Kh Khakhanyan

Institute of economy and finances MSURC (MIIT)

Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)

Username
Password
Remember me

Forgot password?	Register

Username
Password
Remember me

Forgot password?	Register

Vol 29, No 1 (2025): THE PHILOSOPHY OF PAUL NATORP

Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Full Text

Abstract

Keywords

About the authors

V Kh Khakhanyan

References

This website uses cookies