Камень, ножницы, теорема. Фон Нейман. Теория игр

Для создания самовоспроизводящегося устройства в компьютере необходимо было сделать автомат, который не уступал бы машине Тьюринга. Теоретически для этого можно использовать логические выражения NOT-AND-OR (нет-и-или). Например, можно сделать выражение NOT с так называемым планерным ружьем Госпера, но эта схема слишком сложна, чтобы описывать ее здесь. Фон Нейман доказал, что при таких условиях клеточный автомат с 200 тысячами состояний смог бы самовоспроизводиться, однако его описание превышает наши вычислительные способности.

Если однажды клеточный автомат фон Неймана будет создан, это значит, что где-то появится робот, окруженный материалами, который примется за работу и по истечении определенного времени создаст свою точную копию. Потом их станет две, потом четыре и так далее в геометрической прогрессии. Однако фон Нейман не мог предвидеть того (и сегодня никто не может этого сделать), как эти роботы будут вести себя по отношению к людям. Это важный вопрос, ведь за короткое время количество роботов стало бы огромным, и их становилось бы все больше.

В 1948 году фон Нейман спроектировал универсальный конструктор. Эта машина, следуя заданным инструкциям, могла собрать другую машину из материалов, находящихся рядом. Нечто подобное мы можем наблюдать на любой роботизированной фабрике. Но ученый хотел пойти еще дальше и снабдить машину инструкциями и материалами, необходимыми для создания точной копии самой себя; другими словами, он хотел создать клеточный автомат. Природа, в которой мы живем, изобилует клеточными автоматами, ДНК — один из них. Любопытно, что фон Нейман — один из самых выдающихся теоретиков XX века — хотел преодолеть теорию с помощью своей самовоспроизводящейся машины, которую назвал «Кинематон».

Пока фон Нейман сражался с многочисленными техническими трудностями, возникшими при создании «Кинематона», его друг, американский математик польского происхождения Станислав Улам, дал ему хороший совет. Если фон Нейман хотел досконально изучить законы, на которых основывался этот процесс, ему надо было отложить в сторону ручную сборку и заняться виртуальной моделью. Тогда ученый изменил свою тактику и создал простую бесконечную матрицу, в которой можно было представить каждую клетку, как если бы перед нами лежал разграфленный листок, и каждая графа была бы занята. Все клетки должны иметь некое состояние, а их число должно быть конечным. В оригинальной модели фон Неймана для каждой клетки существовало 29 состояний. Идея заключалась в том, что, исходя из заданных правил, каждое состояние каким-то образом зависело от состояния соседних клеток и от своего предыдущего. Таким образом, система напоминала живые системы, по крайней мере в том смысле, что клетки могли меняться и входить в контакт с другими, находящимися в похожем или таком же состоянии. Итак, фон Нейман хотел исследовать очень сложную структуру при помощи очень простой модели — клеточных автоматов.

РОБОТОТЕХНИКА

Термин «робот», происходящий от чешского слова robota (подневольный труд), впервые появился в театральной пьесе *Россумские универсальные роботы» чешского драматурга Карела Чапека.

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