Читать «Юный техник, 2002 № 12» онлайн - страница 11

Свою теорию Жан-Луи Кривин основывает на так называемом лямбда-исчислении. Оно представляет собой логический язык, который используют в своей работе программисты. Француз же увидел в нем логическую структуру, которая способна управлять не только кибернетическим, но и человеческим мозгом. При этом он основывался на следующих соображениях.

Лямбда-исчисление, придуманное в 1932 году американским математиком Алонзо Черчем для решения сложных логических уравнений, оперирует по сути тремя операциями. Сначала производится «аппликация», то есть уже известная формула модернизируется таким образом, чтобы ее можно было использовать в данном конкретном случае. После этого проводится «абстракция», состоящая в присвоении вновь изобретенной формуле какого-то нового названия. И наконец, следует операция «бета-сокращение», когда по новой формуле производят конкретные вычисления. Это исчисление оказалось очень удобным для написания компьютерных программ.

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

Так вот, Жан-Луи Кривин полагает, что и человеческий мозг в своей повседневной деятельности, анализируя ту или иную ситуацию, сравнивает ее с теми, что уже имели место ранее. Затем вносит поправки в ранее принимавшееся решение, чтобы «подогнать» для данной конкретной задачи. И наконец, приняв решение, выполняет его. Более того, рассуждает Кривин, сходство между человеком и ЭВМ можно найти даже в их «устройстве».

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

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

С одной стороны, если следовать теории Кривина, получается, что математики, кибернетики, лингвисты, психологи и психоаналитики работают с одним и тем же объектом, а значит, могут использовать для его изучения некие общие понятия и формулы. С другой стороны, становится несколько обидно. Галилей убрал человечество из центра мироздания. Дарвин поставил нас в один ряд с другими животными (причем последние исследования генома лишь подтвердили, что различия между нами и нашими «младшими братьями» вообще-то ничтожны).