Вычислительная метамодель реальности и проблема истины

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

A.M. Anisov

Abstract

A computational interpretation of philosophical notions of reality and truth is provided along with a non-standard computational treatment of logical connectives and quantors. First-order language statements are compared to sets whereupon the computability of these statements comes to the problem of computability of the corresponding sets.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Анисов А.М. Время и компьютер. Негеометрический образ времени. М., 1991.
Анисов А.М. Темпоральный универсум и его познание. М., 2000.
Анисов А.М. Проблема реальности в семантической теории истины // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. М., 2004.
Анисов А.М. Определение понятия реальной истины в теории множеств с атомами // Логические исследования. Вып. 11. М., 2004.
Анисов А.М. Понятие реальности и логика // Логические исследования. Вып. 12. М., 2005.
Беркович С.Я. Клеточные автоматы как модель реальности: Поиски новых представлений физических и информационных процессов. М., 1993.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Крушинский А.А. Логика «И цзина»: дедукция в древнем Китае. М., 1999.
Хармут X. Применение методов теории информации в физике. М., 1989.
Poundstone W. The Recursive Universe. Cosmic Complexity and the Limits of Scientific Knowledge. N.Y., 1985.