Классическая вычислимость и признаки индетерминизма

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

A.M. Anisov

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##

Section
Papers

References

Анисов А.М. Вычислительная метамодель реальности и проблема истины // Логические исследования. Вып. 13. М., 2006.
Бунге М. Причинность. Место принципа причинности в современной науке. М., 1962.
Вопенка П. Математика в альтернативной теории множеств. М., 1983.
Грогоно П. Программирование на языке Паскаль. М., 1982.
Девис М. Прикладной нестандартный анализ. М., 1980.
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М., 2003.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Пенроуз Р. Тени разума: в поисках науки о сознании. Москва — Ижевск, 2005.
Хокинг С. От большого взрыва до черных дыр. М., 1990.