Красота в квадрате Как цифры отражают жизнь и жизнь отражает цифры (Беллос) - страница 171

После первоначального сопротивления автоматизированным доказательствам теорем со временем большинство математиков все же приняли их. Некоторые даже мечтают о том, что однажды все теоремы будут переведены на универсальный компьютерный язык для проверки доказательств, что позволит создать гигантскую формализованную систему, содержащую все доказуемые математические знания, в которой каждое утверждение строго выводится из совокупности базовых строк компьютерного кода. Когда это произойдет, мы все должны, раздевшись донага, прыгнуть в озеро с криками «Бурбаки!».

Компьютеры изменили ход доказательства теорем. Кроме того, они стали катализатором для формирования новой, захватывающей области математики.

Автор совершает путешествие в мир клеточных автоматов. Он пытается понять смысл «Жизни» и беседует с человеком, который ищет вселенные у себя в подвале

В промозглый лондонский день я отправился на встречу с одним человеком, чтобы поговорить о космических кораблях. Пол Чэпмен сидел на террасе итальянского ресторана в темном пальто, а его панама сияла оранжевым цветом под излучением инфракрасного обогревателя. Темные брови нависали над большими очками без оправы, а лицо заросло взлохмаченной седой бородой. Пол принадлежит к единственной в своем роде группе людей, увлекающихся математической игрой под названием Game of Life («Жизнь»). Ему не терпелось рассказать мне о своем последнем открытии.

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