Забавно, что Вы не отвечаете на комменты, предназначенные Вам, но реагируете на "чужие" :)
== описывая системы с использованием неформализованных языков, мы ничего нового о них не говорим — все новое зашито в структуре используемых мета-языков
К сожалению, мы не а состоянии знать все необходимые языки. Вот и в данном случае - Вы его просто не знаете (или подзабыли):) "Сообщение" же было предельно однозначное, тот, кто знает нужный язык, тот поймет, что именно сказано. И поймет однозначно.
== Очень важно понять, что, отказываясь от использования точного языка (т. е. математики) в утверждениях об интересующих нас системах, мы ничего не выигрываем.
А на это я Вам уже ответил раньше, но, видимо, Вы не смогли прочитать. Учите языки :)
no subject
== описывая системы с использованием неформализованных языков, мы ничего нового о них не говорим — все новое зашито в структуре используемых мета-языков
К сожалению, мы не а состоянии знать все необходимые языки.
Вот и в данном случае - Вы его просто не знаете (или подзабыли):)
"Сообщение" же было предельно однозначное, тот, кто знает нужный язык, тот поймет, что именно сказано. И поймет однозначно.
== Очень важно понять, что, отказываясь от использования точного языка (т. е. математики) в утверждениях об интересующих нас системах, мы ничего не выигрываем.
А на это я Вам уже ответил раньше, но, видимо, Вы не смогли прочитать. Учите языки :)