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