Недетерминированная вычислимость: философские основания
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
детерминированная вычислимость, недетерминированная вычислимость, линейная дискретность, глобальный недетерминизм, локальный недетерминизм, оракулы, производительная причинность
Main Article Content
Аннотация
Статья состоит из трех частей. Первый из них посвящен сравнению детерминированной и недетерминированной вычислимости и определяет два вида недетерминированных вычислимостей: глобальную и локальную. Во второй части рассматриваются источники недетерминированных вычислений. Третья часть затрагивает проблемы компьютерного моделирования причинно-следственных связей.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Анисов А. Недетерминированная вычислимость: философские основания // Логические исследования / Logical Investigations. 2009. Т. 15. C. 5-30.
Выпуск
Раздел
Статьи
Литература
Анисов А.М. Классическая вычислимость и признаки индетерминизма // Логические исследования. Вып. 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.
Анисов А.М. Темпоральный универсум и его познание. М., 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.