|
Из идей фон Неймана вытекает, что проблема создания машинной программы, способной решать все те многообразнейшие задачи, которые успешно решает человеческий мозг (и проблема построения машины «в металле», реализующей эту программу), чрезвычайно трудна, если не безнадежна. Конечно, фон Нейман вполне разделял «кибернетическую редакцию» рационалистического тезиса: «Любой процесс, происходящий в реальности (частью которой является функционирование нашего мозга), коль скоро он ясно и однозначно описан на каком‑то языке, может быть в принципе промоделирован на вычислительной машине». Для того, кто признает материалистическое положение о том, что любой процесс природы познаваем с помощью разума, этот тезис должен быть естественным выводом из логико‑математической теории вычислимости. А эту теорию фон Нейман полностью учитывал. В работе, цитаты из которой мы привели, он излагает смысл «тезиса Тьюринга» (и равносильного ему другого тезиса, о котором мы не имели возможности рассказать в данной книге, тезиса Мак‑Калпока – Питтса, связанного с созданной ими теорией формальных нервных сетей), однако подчеркивает, что «тезисы вычислимости» ничего не могут дать для решения обсуждаемой им проблемы. Показанная фон Нейманом трудность имеет главными источниками гибкость и богатство человеческого мышления и естественного языка и сверхсложность реализующей их системы – мозга. Наша внутренняя жизнь и ее проявления в языке столь многообразны, проблемы, волнующие человеческую личность, так глубоки, что допущение о возможности перевода (реальной возможности – в любом разумном смысле слова «реальной») любой из них на какой‑либо «точный» язык – например, язык рекурсивных функций, чрезвычайно сомнительна. Взгляд свысока на «неточность» переживаний и мыслей, например, героев Достоевского или Чехова, был бы проявлением либо крайней наивности, либо своеобразного математического лицемерия. Вывод, к которому мы приходим, заключается в том, что, рассматривая возможности вычислительных машин, к различию между потенциально осуществимым и фактически реализуемым надо добавить различие между фактически реализуемым и фактически нереализуемым, не только в настоящее время, но и в любом обозримом будущем. На вопрос о границе между потенциально осуществимым и неосуществимым с помощью автоматов ответ дает описанный нами тезис кибернетики, который следует признать имеющим важное гносеологическое содержание[155]. На вопрос же о том, где пролегает граница между тем, что для математики, вычислительной техники и кибернетики реально осуществимо и что реально невозможно (хотя и возможно потенциально), ответа мы не знаем. — 116 —
|