ON B. RUSSELL'S SIMPLE THEORY OF TYPE
The Russell's paradox is considered, the simple theory of types offered for its decision is analyzed.
Download file
Counter downloads: 186
Keywords
Authors
| Name | Organization | |
| Surovtsev V.A. | surovtsev1964@mail.ru |
References
Russell B. Principles of Mathematics. London: Allen & Unwin LTD, 1974.
Рассел Б. Математическая логика, основанная на теории типов // Рассел Б. Введение в математическую философию. Новосибирск: Сибирское университетское изд-во, 2007.
Суровцев В.А. Аксиома сводимости, теория типов Ф.П. Рамсея и реализм в математике // Вестник Томского государственного университета. Серия: философия, социология, политология. 2007. № 1.
Рамсей Ф.П. Основания математики // Рамсей Ф.П. Философские работы. Томск: Изд-во Том. ун-та, 2003.
Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966.
