Re: spall@ngs.ru ↑
spall в посте Openmeta (оригинал в ЖЖ)
Даже если это получится мы приходим к парадоксу, когда модель становится частью системы, а следовательно, тут же долджна быть пересмотрена. Получается рекурентный ряд без намека на процедуру остановки.
1 комментарий
1. Да, может (нужно всегда учитывать, что модель содержит в себе только фрагмент интересующих на данный момент свойств системы).
2. Такие системы с моделью себя в себе, и моделью себя той модели себя в себе и т.д. называются рефлексивными. Более того, они еще и могут иметь модели других подобных систем и учитывать все эти уровни рефлексии. Подробно теорией (и небольшой практикой) рефлексивных систем занимался психолог/математик/философ Лефевр (ссылки на его работы я приводил в этом журнале чуть ранее -- а также еще и в своем журнале). Он предложил математический формализм для описания подобных рефлексивных моделей.
3. Есть даже гипотеза, что такая рефлексия в человеке устроена "аппаратно" (нейрологически), это показывают эксперименты в поддержку теории Лефевра.
4. Этот рекуррентный ряд не должен никого смущать, ежели его не пытаться выполнять сознательно. Но мы ведь тут о субстрате? Он подобных вычислений не боится. ;)
2. Такие системы с моделью себя в себе, и моделью себя той модели себя в себе и т.д. называются рефлексивными. Более того, они еще и могут иметь модели других подобных систем и учитывать все эти уровни рефлексии. Подробно теорией (и небольшой практикой) рефлексивных систем занимался психолог/математик/философ Лефевр (ссылки на его работы я приводил в этом журнале чуть ранее -- а также еще и в своем журнале). Он предложил математический формализм для описания подобных рефлексивных моделей.
3. Есть даже гипотеза, что такая рефлексия в человеке устроена "аппаратно" (нейрологически), это показывают эксперименты в поддержку теории Лефевра.
4. Этот рекуррентный ряд не должен никого смущать, ежели его не пытаться выполнять сознательно. Но мы ведь тут о субстрате? Он подобных вычислений не боится. ;)