С.НИКОЛАЕВ
Как вычислить мысли?!
Мысли — это вычислении. А с помощью математических формул можно выразить законы мышления. Так полагает французский программист Жан-Луи Кривин — автор новой теории, по-своему объясняющей, как все же работает человеческий мозг.
Еще полвека назад, когда только появлялись первые ЭВМ, кибернетики стали уверять, что вот-вот машина сможет мыслить так же, как человек, а то и лучше. Со временем выяснилось, что каждому — свое. Машины хорошо считают, человек лучше мыслит. Согласно же теории Кривина выходит, что в течение нескольких миллионов лет существования естественного отбора, десятков тысяч лет развития речи и языков, тысячелетий совершенствования математики и полувека становления информатики существовал всего лишь один-единственный способ мышления.
Свою теорию Жан-Луи Кривин основывает на так называемом лямбда-исчислении. Оно представляет собой логический язык, который используют в своей работе программисты. Француз же увидел в нем логическую структуру, которая способна управлять не только кибернетическим, но и человеческим мозгом. При этом он основывался на следующих соображениях.
Лямбда-исчисление, придуманное в 1932 году американским математиком Алонзо Черчем для решения сложных логических уравнений, оперирует по сути тремя операциями. Сначала производится «аппликация», то есть уже известная формула модернизируется таким образом, чтобы ее можно было использовать в данном конкретном случае. После этого проводится «абстракция», состоящая в присвоении вновь изобретенной формуле какого-то нового названия. И наконец, следует операция «бета-сокращение», когда по новой формуле производят конкретные вычисления. Это исчисление оказалось очень удобным для написания компьютерных программ.
Получив задачу, программист смотрит, какую программу для ее решения лучше всего использовать. Затем видоизменяет программу, чтобы наилучшим образом провести решение, и, наконец, запускает компьютер для вычислений.
Так вот, Жан-Луи Кривин полагает, что и человеческий мозг в своей повседневной деятельности, анализируя ту или иную ситуацию, сравнивает ее с теми, что уже имели место ранее. Затем вносит поправки в ранее принимавшееся решение, чтобы «подогнать» для данной конкретной задачи. И наконец, приняв решение, выполняет его. Более того, рассуждает Кривин, сходство между человеком и ЭВМ можно найти даже в их «устройстве».
В компьютере нижний уровень составляют микрочипы, в мозге — нейроны. Чипы соединяются в логические цепи, нейроны тоже связаны друг с другом в сложнейшие ансамбли. В компьютере при решении задачи передаются электрические сигналы, в мозге — идут волны нервного возбуждения, которые, по существу, тоже представляют собой электромагнитные импульсы. Для того чтобы компьютер работал, ему нужна программа действий, представляющая собой некие математические формулы. И человек, размышляя над той или иной проблемой, выстраивает логические цепочки, а затем оформляет свои мысли в виде слов, фраз или действий.
Пока теоретики размышляют, насколько такой подход к процессу мышления облегчит им жизнь в будущем.
С одной стороны, если следовать теории Кривина, получается, что математики, кибернетики, лингвисты, психологи и психоаналитики работают с одним и тем же объектом, а значит, могут использовать для его изучения некие общие понятия и формулы. С другой стороны, становится несколько обидно. Галилей убрал человечество из центра мироздания. Дарвин поставил нас в один ряд с другими животными (причем последние исследования генома лишь подтвердили, что различия между нами и нашими «младшими братьями» вообще-то ничтожны).
Теперь еще и Кривин предлагает считать, что разница между нами и компьютерами лишь в элементной базе — электронные микрочипы делают на основе кремния, а нейроны — на основе углерода…
Максим ЯБЛОКОВ
ВСЛЕД ЗА СОБЫТИЕМ
Игра закончена..?
Недавно закончившийся вничью со счетом 4:4 матч нынешнего чемпиона мира Владимира Крамника с шахматным компьютером «Дип Фриц» продолжают оживленно комментировать специалисты. К каким же выводам они приходят?
По мнению гроссмейстера Сергея Шипова, соперники в этом матче показали довольно интересную игру. В особенности это относится к Владимиру Крамнику. В первой половине матча он умело выбирал те ходы и позиции, где чувствовал себя наилучшим образом, навязывая компьютеру свою тактику. Но и противник ему попался достойный. По ходу матча, создатели программы подкорректировали ее, и компьютер подстроился под тактику своего противника, нашел контрмеры. Причем в отличие от прошлого матча Каспарова со специализированным компьютером «Дип Блю», нынешняя программа чисто коммерческая. Любой желающий может купить ее, поставить на свой персональный компьютер и попробовать с ней сразиться.