Классическая вычислимость и признаки индетерминизма
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
Вопреки распространенному мнению, теория классической детерминистской вычислимости допускает неоднозначные интерпретации, как показано в этой статье. Это связано с неопределенностью основных понятий теории конечности и натуральных рядов. Акцент делается на влиянии появления и развития нестандартного анализа на теорию вычислимости.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Анисов А. Классическая вычислимость и признаки индетерминизма // Логические исследования / Logical Investigations. 2007. Т. 14. C. 5-26.
Выпуск
Раздел
Статьи
Литература
Анисов А.М. Вычислительная метамодель реальности и проблема истины // Логические исследования. Вып. 13. М., 2006.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Вопенка П. Математика в альтернативной теории множеств. М., 1983.
Грогоно П. Программирование на языке Паскаль. М., 1982.
Девис М. Прикладной нестандартный анализ. М., 1980.
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М., 2003.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Пенроуз Р. Тени разума: в поисках науки о сознании. Москва — Ижевск, 2005.
Хокинг С. От большого взрыва до черных дыр. М., 1990.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Вопенка П. Математика в альтернативной теории множеств. М., 1983.
Грогоно П. Программирование на языке Паскаль. М., 1982.
Девис М. Прикладной нестандартный анализ. М., 1980.
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М., 2003.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Пенроуз Р. Тени разума: в поисках науки о сознании. Москва — Ижевск, 2005.
Хокинг С. От большого взрыва до черных дыр. М., 1990.