А.С.Пушкии

Проектирование любой логической схемы, строительство домаилинаписание книги с определенной долей успеха можно попробовать осуществлять от генерального плана (сценария) к конкретных элементам либо наоборот— от возможностей отдельных элементов к чему-то большому, а скорее всего, к тому, что получится. В первом случае мы говорим о нисходящем проектировании, т.е. о проектировании сверху вниз, во втором — о проектировании снизу вверх. Поднимаемся вверх — опускаемся вниз; растем — уменьшаемся; совершенствуемся — деградируем; упрощаемся — усложняемся; идем к хаосу — идем к порядку. Все где-то рядом и в тоже время не совсем похоже и, на первый взгляд, даже совсем не похоже на проектирование логической схемы. Но это только на первый взгляд. Действительно, что может быть общего между проектированием сверху вниз и эволюцией Вселенной? Что есть похожего между творческой реализацией отдельных элементов схемы и всей схемы с такими понятиями, как хаос и порядок?

Как проще придти к законам Ньютона — то ли так, как это сделал сам Ньютон, то ли упростив выражения Эйнштейна?

В любом случае рождение формулы — это новое знание, выраженное строго и компактно на конкретном формальном языке.

Гибель формулы — это такое же новое знание, как и ее рождение. Это частичный отказ от одной модели мира и переход к другой.

Но знание может быть знанием только по отношению к тому, кто его понимает. Любое знание становится знанием только в рамках определенной модели. Например, формулы Эйнштейна для людоедок-Эллочек в большей части невидимы. Да и не только формулы Эйнштейна обладают свойством невидимости. Мир полон подобными объектами. И проблема построения "невидимых" объектов не такая уж и сложная, как кажется на первый взгляд: самолеты-невидимки, человеки-невидимки, понятия-невидимки, идеи-невидимки! И порой горе тому, кто набредет на них и узреет.

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

Получается, что чем мощнее возможности по обработке входных данных у информационной системы, чем мощнее ее язык, тем больше она "видит".

Но всегда ли вновь появляющиеся возможности дополняют друг друга и все больше объектов и событий начинает попадать в поле зрения с увеличением языковых мощностей? Оказывается, не всегда. Углубляясь в джунгли познания по одной из троп, мы навсегда теряем все прелести другой.

Очень образно на эту тему писал Рам Дасс:

"Представьте, что у вас прямо перед глазами небольшая шкала и что вы можете менять каналы ваших реальностей. Установите на первый канал, оглядитесь в комнате и увидите мужчин и женщин. ...Если бы вы были социолог, вы могли бы сказать: "Там было столько-то эндоморфов; столько-то экзоморфов и столько-то мезоморфов". Если вы занимаетесь общественной деятельностью,вымогли сказать:" Черных было меньшинство, протестантов столько-то, столько-то и пр. Если бы у вас была на первом плане в этой среде сексуальная ориентация, вы видели бы каждого в одной из трех категорий — те, с которыми можно иметь дело; соперники ваши на пути к кому-то, с кем потенциально можно иметь дело, и к делу не относящиеся".

Но при этом все модели, все "эти индивидуальные отличия не так уж и важны. Они просто вроде рубашек, курток и свитеров. "Приятную вы личность надели. Где вы ее достали?". "Я приобрел ее в Гештальт-терапии. Крик моды".

Но чем совершеннее становятся расходящиеся от общего узла модели мира, тем сложнее между ними построить мост их носителям. "Как-то я навестил брата в психиатричке. Я сидел в комнате с ним и с его психиатром. Он считал себя Христом, а психиатр считал себя психиатром, и оба были убеждены, что другой— ненормальный" (Р.Дасс).

Когда мы рождаем и убиваем формулы — мы одновременно, теми же самыми действиями строим свою новую модель мира. Каждая "живая" формула это либо новая возможность, либо ограничение существующих возможностей.

Покажем как это бывает.

Например, пусть требуется построить схему переключателей, которая, имея два входа и один выход, работала бы в соответствии со значениями из следующей таблицы:

Предположим, что для того, чтобы собрать схему, имеются исходные элементы, выполняющие операции логического "и"(&), "или"(V) и "не"(-). Тогда, согласно классической математической логике исходные элементы можно соединить следующим образом: