|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Constructive mathematics and models of intuitionistic theoriesстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
- Автор: Dragalin A.G.
- Сборник: Logic, Methodology and Philosophy of Science. Proceedings of the 4th International Congress (Bucharest 1971)
- Серия: Studies in Logic and the Foundations of Mathematics
- Том: 74
- Год издания: 1973
- Место издания: North-Holland Publishing Company Amsterdam
- Первая страница: 111
- Последняя страница: 128
- DOI: 10.1016/S0049-237X(09)70353-2
- Аннотация: This chapter discusses applications of constructive mathematics for investigations of semantic questions and theories of intuitionistic choice sequences. Some general inductive definitions are introduced into constructive mathematics. For example, the suggested conception is applied to the study of Markov's semantics of constructive arithmetic and for building some models for intuitionistic theories. An example of the model for the theory of Kreisel's lawless sequences is described. The chapter considers constructive mathematics as a direction in mathematics. Various directions in mathematics differ from one another in two main respects: a) the objects of investigation, and b) the method of proving theorems about these objects. The primitive objects of investigation in constructive mathematics are elements of (intuitive) decidable classes of constructive objects. The primitive objects of investigations of intuitionistic mathematics are of different types. These are constructive objects, choice sequences, and species of intuitionistic objects. The most familiar objects of intuitionism are choice sequences that deal with natural numbers.
- Добавил в систему: Золин Евгений Евгеньевич