Обсуждение

Спасибо за описание описания описаний.

Спасибо за спасибо!

А потом, из за самоприменения, с большой вероятностью влетаем в эквиваленты проблемы остановки/теоремы Геделя итд итп. Или это чисто теоретическая опасность?

Вообще-то говоря, проблема остановки и теорема Геделя — это должно входить в курс по вычислениям. И их мало кто понимает (попсовое понимание чаще всего не про их настоящий смысл), они ведь ни разу не про упорядочивание винегрета понятий.

По вычислениям — это само собой. Но проблемы начинаются при любой попытке самоприменимости языка. Ну вот как только мы можем что-то более менее нормально описывать правила работы с описаниями в тех же терминах или рассуждать о рассуждениях пользуясь одним и тем же аппаратом — так почти гарантированно где-нибудь какая-нибудь парадоксальная пакость или теорема о невозможности находится.