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