Аксиома сводимости, теория типов Ф. П. Рамсея и реализм в математике В. А. Суровцев
Material type: ArticleContent type: Текст Media type: электронный Subject(s): аксиома сводимости | Рамсея теория типовGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Философия. Социология. Политология № 1. С. 41-64Abstract: В статье рассматриваются обоснованность аксиомы сводимости, метод её элиминации, предложенный Ф.П. Рамсеем, и онтологические основания этого метода. Анализируются «рамсифицированная» теория типов и трактовка принципа порочного круга при формулировке логических парадоксов.Библиогр.: 5 назв.
В статье рассматриваются обоснованность аксиомы сводимости, метод её элиминации, предложенный Ф.П. Рамсеем, и онтологические основания этого метода. Анализируются «рамсифицированная» теория типов и трактовка принципа порочного круга при формулировке логических парадоксов.
There are no comments on this title.