Другие говорят, что программа задачу самоусовершенствования решила, сообщив, что ЛЮБОЗАР - предел совершенства. Смешно, но это правда, он совершенство в своем роде. Авторы программы после всесторонних ее испытаний пришли к такому заключению: "Чтобы добиться чего-нибудь существенно нового, нужно придумать совсем другие принципы и написать совсем другую программу".
Авторы ЛЮБОЗАРа отдали своему детищу 14 лет жизни, упорно совершенствуя прекрасно задуманную программу. То уточняли способ изложения задачи, то меняли очередность и степень включения в работу эвристик. И все время сопоставляли действия ЛЮБОЗАРа с решениями людей. Тем не менее они не добились полного успеха. Человеческое мышление ускользнуло из ловушки.
Скоро мыслию по древу
Будут соки растекаться.
Скоро, скоро! Потерпите,
Не спешите разбегаться.
В. Л. Соколов
Попробуем отказаться от ненадежной психологии в пользу строгой математики. Превратим жизненные проблемы в теоремы. Может быть, на этом пути удастся создать подлинный решатель любых задач?
Там, в геометрии, фигуры подчинены строгим законам; каков бы ни был треугольник, маленький или большой, равносторонний или разносторонний, подтянуто-прямоугольный или небрежно-тупоугольный, - в любом треугольнике сумма внутренних углов составляет 180 градусов. Видимо, и в житейской суете, в столкновении наших мыслей тоже возникают фигуры, тоже обозначаются углы, подвластные своим теоремам.
Я помню, какое сильное впечатление на меня, школьника, случайно прочитавшего томик философа Спинозы, произвела эта неожиданная и дерзкая идея. Мне казалось, что он отлил в строгие формы теорем не только наши мысли, но и душевные движения, но и эмоции, но и страсти - любовь и ненависть, дружбу и вражду, симпатии и антипатии. Противоречивые, хаотические, смутные, неуловимые, они приобрели под его пером изящную логическую форму: если... то... иначе...
"Если мы воображаем, что кто-либо причиняет удовольствие предмету, который мы ненавидим, то мы будем и его ненавидеть. Наоборот, если мы воображаем, что он причиняет этому предмету неудовольствие, мы будем любить его".
Ах, как славно теоремы Спинозы вписывались в школьные ситуации, как странно и неожиданно переплетались они со школьными уроками геометрии! Значительно позже, уже занимаясь вычислительными машинами, я осознал, что Спиноза в тех теоремах вовсе не создал исчисление эмоций. Для своих идей он выбрал внешнюю форму теорем, как выбирает поэт форму сонета или баллады.
