Абстрактная вычислимость и язык программирования авт.

##plugins.themes.bootstrap3.article.main##

A .M . Anisov

Abstract

В предыдущей статье была продемонстрирована возможность моделирования становления на реальных вычислительных машинах. Однако, как показано в данной работе, любым процессам, реализованным на таких машинах, присущ ряд принципиальных ограничений, существенно затрудняющих их применение в анализе философских проблем, связанных с протеканием явлений во времени. В данной работе предлагается метод, основанный на нестандартном обобщении идеи вычислимости, позволяющий осуществить адекватное, на наш взгляд, исследование феномена темпоральности. Эта цель достигается за счет отказа от требования эффективности вычислений.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Анисов А.М. Время и компьютер. Негеометрический образ времени. М. 1991.
Анисов А.М. Моделирование становления на ЭВМ //Логические исследования. Вып.2. М. 1993.
Н.Катленд Вычислимость. Введение в теорию рекурсивных функций. М. 1983.
Кекрис А., Московакис Я. Рекурсия в высших типах //Справочная книга по математической логике. Ч.Ш. Теория рекурсии. М. 1982.
А.И.Мальцев. Алгоритмы и рекурсивные функции. М. 1986.
Роджерс X. Теория рек/рсивных функций и эффективная вычислимость. М. 1972.
Шор Р. Теория а-рекурсии //Справочная книга по математической логике. Ч.Ш. Теория рекурсии. М. 1982.