Классическая вычислимость и признаки индетерминизма
##plugins.themes.bootstrap3.article.main##
Abstract
Converse to the common belief, the theory of classic deterministic computability allow ambiguous interpretations as it is shown in this paper. It is due to the uncertainty of the theory’s fundamental notions of finiteness and natural series. Actually focus is made on effects of the emergence and development of the non-standard analysis on the theory of computability.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Anisov A. Классическая вычислимость и признаки индетерминизма // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 14. C. 5-26.
Issue
Section
Papers
References
Анисов А.М. Вычислительная метамодель реальности и проблема истины // Логические исследования. Вып. 13. М., 2006.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Вопенка П. Математика в альтернативной теории множеств. М., 1983.
Грогоно П. Программирование на языке Паскаль. М., 1982.
Девис М. Прикладной нестандартный анализ. М., 1980.
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М., 2003.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Пенроуз Р. Тени разума: в поисках науки о сознании. Москва — Ижевск, 2005.
Хокинг С. От большого взрыва до черных дыр. М., 1990.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Вопенка П. Математика в альтернативной теории множеств. М., 1983.
Грогоно П. Программирование на языке Паскаль. М., 1982.
Девис М. Прикладной нестандартный анализ. М., 1980.
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М., 2003.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Пенроуз Р. Тени разума: в поисках науки о сознании. Москва — Ижевск, 2005.
Хокинг С. От большого взрыва до черных дыр. М., 1990.