Изречение
Много лет по разным поводам выговариваю изречение.

Чем больше степень формализации, тем больше времени придется потратить на интерпретацию. Чем более однозначна формализация, тем более неопределённый результат интерпретации.

Нельзя выиграть бесплатно. То, что мы выигрываем на введении формальных средств исследования, мы потом должны отработать - это не бесплатный выигрыш, а перенос усилий. Наука в целом несколько формализует познание - и вот разрыв с массой неученых, которым затруднительно объяснять контринтуитивные вещи. Мы можем перенести бремя интерпретации дальше или ближе. Вот теоретик напрудил формализма - это будет интерпретировать тот, кто использует теорию. Или - популяризатор. Или учитель в школе. В общем, кому-то придётся это расхлебывать, и легко не будет - весь выигрыш формализации придётся отработать. Формализация - это средство понимания, то есть вся эта штука имеет отношение к коммуникации, это такой закон коммуникации. Если в простоте сказать - сколько выигрываем на введении однозначного кода, столько усилий придется потратить на обучение всех участников коммуникации этому коду и распутывание ошибок, возникающих от работы кода. Работу понимания нельзя исключить - её можно только перенести по цепочке коммуникации. Можно сделать так, что работу понимания будет совершать не этот человек и не в этом звене коммуникации, а другой человек совсем в другом месте и других условиях. Но избавиться от работы понимания нельзя. В этом смысле можно сказать, что формализация невозможна - то есть нельзя с помощью введения определенных правил уменьшить непонятность и многосмысленность текстов. Но локально - можно, конечно.

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

Но всё это походя, между делом - это же в разговорах, всего лишь в частных разговорах, в каких-то там докладах и объяснениях, как получены те или иные результаты, отчего так, а не эдак.

Потому спрашиваю: а кто придумал?

Раз это достаточно фундаментальное высказывание, то наверняка сто лет назад был великий человек, который это отличным образом сформулировал, это разошлось в культуре и я "сам придумал" - то есть, попросту говоря, не знаю, кто автор и не знаю, где искать. То идее это редкий случай - попытка сформулировать закон сохранения для информационных отношений. Где законы сохранения не действуют. То есть в отличие от области массы-энергии в мире информации нет законов сохранения, а тут - на тебе, нечто похожее наклевывается.

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

PS Есть известное речение Эйнштейна. Не помню точно, смысл такой: в той мере, в которой математика относится к действительности, она ненадежна, в той мере, в которой надежна, не относится к действительности. Это об этом, но всё же чуть в сторону.