Георгий Далидович: Заметки об искусственном интеллекте

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

После окончания колледжа в 1934, он посещает лекции Макса Ньюмена по углубленному изучению математики. Здесь он впервые встречается с проблемой "разрешимости" Гильберта, которая формулируется следующим образом: "Может ли существовать, хотя бы в принципе, определенный метод или процесс, при помощи которого все математические проблемы могут быть решены?" С одной стороны, проблема "разрешимости" — тривиальна. Очевидно, что существуют алгоритмы, позволяющие с точки зрения бинарной логики определить, является ли данное утверждение "истинным" или "ложным". Однако сложность проблемы становится ясной, когда речь идет о любойзадаче или обо всех возможныхвопросах или задачах. Поэтому Тьюринг подошел к ней с другой стороны — пытаясь поставить именно неразрешимую с точки зрения алгоритмического мышления задачу. К этому можно добавить еще и то, что четкого определения алгоритма в то время не существовало. Тьюринг начинает работу над всем комплексом этих проблем.

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

Следующий этап биографии Тьюринга, приходящийся на военные годы, оказался тесно связан с Британской разведкой. Но об этом в следующей статье цикла.

В предыдущей статье цикла, посвященной начальному этапу биографии Алана Тьюринга, мы остановились на 1935 году, который был знаменателен для ученого тем, что именно тогда, после окончания Королевского колледжа Кембриджа, он впервые сформулировал концепцию "машины Тьюринга", основные принципы работы которой в наиболее простой и популярной форме излагались ранее. Профессионально прокомментировал эту тему и Борис Смилга на нашем форуме. К его сообщению можно добавить только то, что изначально чисто теоретическая модель машины Тьюринга была неоднократно реализована на практике, и любой желающий может с ней пообщаться.

Нельзя сказать, что идея "мыслящей" машины была абсолютно новой в 30-х годах двадцатого века. Достаточно вспомнить Раймонда Луллия, который еще в 1272 году предложил создать устройство, способное произвести все возможные знания, составляя слова случайным образом. Другой работой Луллия было логическое доказательство истинности христианства — задача того же масштаба и той же степени невыполнимости. Позднее, в 1726 году, эта идея Луллия была высмеяна Джонатаном Свифтом в его "Путешествии Гулливера", где была описана попытка сумасшедшего профессора привести в действие усилиями сорока студентов "машину размером 20 футов в каждом измерении", которая должна была произвести все знания о мире, складывая слова всех языков, написанные на обрывках бумажной ленты.

Машина Тьюринга тоже должна была оперировать с бумажной лентой. Но все же одна машина Тьюринга представляется достаточно примитивным устройством, и в "мире Тьюринга" возникает "Всемирная Машина", способная читать записи всех остальных машин, которые являются моделями скорее рефлексов, чем интеллекта. "Всемирная Машина" и есть то, что, в принципе, может собрать все возможные знания о мире Тьюринга. Отметим еще одну аналогию с механизмом Луллия — логическое обоснование Бога, как всеведущего существа. Всемирная Машина должна была являться своеобразным всеведущим и почти всемогущим Богом в мире Тьюринга.

Собственно, сам термин "компьютер" (computer) до Тьюринга означал человека, который выполняет вычисления. Впервые его применительно к техническому устройству использовал именно Тьюринг в 1936 году: "Таким образом, можно сказать, что специализированная машина может выполнять вычислительную работу (computing), если бумажная лента содержит соответствующие инструкции и правила".