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