Без заголовка

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