Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Mathematics. Principles of Intuition
Автор: A. S. Troelstra
Аннотация:
This paper is intended as an introduction to the principles of intuitionism. Basic notions, not formal systems are emphasized; proof theoretic results are mentioned to illustrate relative power and formal consequences of various principles. In other words, this paper presents the material needed to recognize certain formal systems as representing fragments of intuitionistic mathematics. The application of various principles in mathematics is illustrated by suitable examples.