Недетерминированная вычислимость: философские основания

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

A.M. Anisov

Abstract

The paper consists of three parts. The first one dwells on a comparison of deterministic and nondeterministic computability and defines two kinds of nondeterministic computabilities: global and local. The second part considers the sources of nondeterministic computations. The third part touches upon the problems of computational modelling of causal relationships.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Анисов А.М. Классическая вычислимость и признаки индетерминизма // Логические исследования. Вып. 14. М., 2007.
Анисов А.М. Темпоральный универсум и его познание. М., 2000.
Брауэр В. Введение в теорию конечных автоматов. М., 1987.
Булос Дж., Джеффри Р. Вычислимость и логика. М., 1994.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Верещагин Н.К., Шень А.Х. Лекции по математической логике и теории алгоритмов. Ч. 3. Вычислимые функции. М., 2002.
Вригт Г.Х. фон. Логико-философские исследования. М.,1986.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Китаев А.Ю., Шень А.Х., Вялый М.Н. Классические и квантовые вычисления. М., 1999.
Кузюрин Н.Н., Фомин С.А. Эффективные алгоритмы и сложность вычислений. Версия от 17.06.2008. 348 стр. http://discopal.ispras.ru/ru.book-advanced- algorithms.htm.
Маслов С.Ю. Теория дедуктивных систем и ее применения. М., 1986.
Хармут X. Применение методов теории информации в физике. М., 1989.
Хоар Ч. Взаимодействующие последовательные процессы. М., 1989.
Шенфилд Дж. Степени неразрешимости. М., 1977.
Шор Р. Теория _-рекурсии // Справочная книга по математической логике: В 4 частях. Ч. III. Теория рекурсии. М., 1982.
Якобс К. Машины Тьюринга и случайные 0-1-последовательности // Машины Тьюринга и рекурсивные функции. М., 1972.