http://hitthelimit.livejournal.com/ ([identity profile] hitthelimit.livejournal.com) wrote in [personal profile] hitthelimit 2013-06-11 11:13 am (UTC)

А что именно, собственно говоря, сказано? Высказывание нагружено сумасшедшим объемом неявной аксиоматики...

(В книге GENERAL SYSTEMS THEORY: MATHEMATICAL FOUNDATIONS M. D. Mesarovic and Yasuhiko Takahara есть отличная фраза:
«Очень важно понять, что, отказываясь от использова­ния точного языка (т. е. математики) в утверждениях об интересую­щих нас системах, мы ничего не выигрываем.»
Мне нравится использовать эту мысль в ее дополнительном виде: описывая системы с использованием неформализованных языков, мы ничего нового о них не говорим — все новое зашито в структуре используемых мета-языков.)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting