Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

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

• математический анализ
• интуиционистская логика
• бинарный поток
• натуральные числа