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