Автоматизация: общие вопросы

Обнаруженный Гёделем процесс безграничного разрастания системы аксиом с очевидностью доказывает, что человек, работающий с машиной для логического вывода, может достичь неформальным путем такого диапазона знаний, который невозможен для этой машины самой по себе, даже если выполняемые ею операции указывают на подходы к этому знанию. Следовательно, сила разума превосходит силу машины, способной к логическому выводу. Но встающая в связи с этим проблема имеет более широкий характер. Дело в том, что существуют еще и

' В этом с ним согласен Л. Э. Дж. Брауэр. См.: Weyl H. Philosophy of Mathematics and the Natural Sciences, Princeton 1949, p. 51.

автопилоты, приборы, управляющие артиллерийским огнем, и прочие машины, действие которых не ограничивается логическим выводом. А. М. Тьюринг показал', что можно придумать машину, которая будет как конструировать, так п выдвигать в качестве новых аксиом сколь угодно много гёделевскпх высказываний. Всякий повторяющийся эвристический процесс, примером которого в области дедуктивных наук п служит гёделевский вывод, может выполняться автоматически. Машина может автоматически играть в шахматы. И вообще всякое искусство воспроизводимо в автоматическом процессе в той степени, в какой правила или нормы искусства могут быть сформулированы. Они могут включать в себя даже элемент случайности, который обеспечит, например, процедура подбрасывания монеты, но искусство или знание, не имеющее писаных правил, никогда не сможет стать уделом машины.

Всю сферу автоматических операции мы, конечно, не

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

звеньев:

I разум

II машина

III

функции, цели и т. д., выдвигаемые разумом.

' В выступлении на симпозиуме «Разум и машина» в Манчестерском университете в октябре 1949 г. Этот результат предвосхищался также в работе: Systems of Logic Based on Ordinals. Proc, London Math. Soc., Series 2, 45. (1938—1939), p. 161—228.

27(

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