Как показано в данной работе, любым реализуемым в стандартных теориях детерминированной вычислимости процессам присущ ряд принципиальных ограничений, существенно затрудняющих их применение в анализе философских проблем, связанных с протеканием явлений во времени. Предлагается метод, основанный на нестандартном обобщении идеи вычислимости, позволяющий осуществить адекватное исследование таких философских проблем. Эта цель достигается за счёт отказа от детерминизма в вычислительных процессах.
недетерминированная вычислимость, вычислительные концепции, математическая логика, языки программирования