Вот почему В. Глушков, касаясь логического мышления человека, говорит о том, что "хорошей (если не лучшей) модельной задачей здесь может служить задача автоматизации доказательства теорем в математике". Необходимо найти способы резкого сокращения блужданий и переборов, чтобы избежать абсурдных комбинаций, чтобы избавиться от нелепых альтернатив, чтобы действовать рационально, а не машинально.

Такие приемы недалеко лежат, они прекрасно известны специалистам по Искинту, это эвристики.

Сегодня метод резолюций дополнен эвристиками; эвристики вошли в самое нутро метода: машинная логика благодаря им стала результативной. Доказательства теорем, эта святая святых математики, не обошлись без эвристик. Выгнанная в дверь, психология вернулась через окно. Никуда от нее не деться!

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

Судьбы мира связаны с деревьями, определяются деревьями - такова одна из самых древних идей человечества. В Европе, в Азии, в Африке, в Америке и в Австралии - всюду, где первобытные люди в девственных лесах создавали человеческое общество, возникали мифы о мировом дереве.

В середине мира, говорит скандинавский миф, находится ясень Иггдрасиль, ветви его простираются над всем миром, вершина поднимается выше неба, а корни уходят в другие миры. Ясень Иггдрасиль - основа мира, его прошлое и будущее. На священном ясене был повешен бог Один, который претерпел мучения, чтобы изведать тайны мира.

Древние люди по-разному объясняли связь между подлинным, лесным, зеленым деревом и зыбкими, безместными, нетелесными человеческими мыслями. То они сажали человека или бога, решающего мучительную проблему, под священное дерево, то, чтобы связать их теснее, вешали на дерево, то сращивали их воедино, то придавали чудесную силу плодам священного дерева. В представлениях наших предков когда-то произошел удивительный переход от реального дерева, в ветвях которого гнездятся живые птицы, к воображаемому дереву, к дереву мысли.

Идея мирового дерева проникла в древнейшие письменные памятники человечества. Библия, например, подробно рассказывает о древе познания добра и зла.

Древо познания добра и зла... Перед внутренним взором каждого европейца возникает райский сад, и юные Адам и Ева, и дерево, отягченное запретными плодами, и змей-искуситель, обвивший ствол этого дерева.

А в памяти азиатов место этого дерева занимает дерево бодхи, дерево прозрения. Под ним, говорит легенда, сидел погруженный в созерцание Сиддхартха Гуатама. Здесь познал он смысл мира и жизни, нашел четыре благородные истины и стал пробужденным, просветленным, прозревшим, стал Буддой. Случилось это 2500 лет назад.

Буддисты всего мира до сих пор совершают паломничество в местечко Бодх-Гая на севере Индии. Там, рядом с храмом, растет огромный баньян - потомок легендарного дерева бодхи. Под ним плита, отмечающая место, где принимал свои решения Гуатама, а несколько сбоку каменное изваяние Будды в позе прозрения.

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

Как хорошо сказал протопоп Аввакум, "по плоду бо всяко древо познано бывает". У обоих деревьев одинаковые плоды: новые, неизведанные решения, иное будущее людей и мира.

Когда в мире появилась наука, мифические деревья отступили перед ее бульдозерами, выкорчевывающими суеверия. Мировое дерево поселилось в поэзии и живописи, а в науке остались лишь слабые его отзвуки. Ученые XVIII века растили только три сорта деревьев: родословные, иерархические и классификационные. Помните разговор между барином и мужиками в "Кому на Руси жить хорошо?". Пытаясь ошеломить мужиков, барин спрашивает:

Скажите, вы, любезные,

О родословном дереве слыхали что-нибудь?

И слышит в ответ полные достоинства слова:

Леса нам не заказаны -

Видали древо всякое, -

Сказали мужики.

Они и вправду видали всякое дерево, кроме никчемного и кичливого родословного.

Социальные революции выкорчевывали и сжигали генеалогические деревья, эти символы неравенства, а ученые нашли им новое, неожиданное и воистину благородное применение. Ученые вооружились этими деревьями, излагая естественную историю живого мира, эволюцию видов. Позже родословные деревья пригодились для объяснения развития языков, наук и ремесел, машин и предметов быта.