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

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

Но к тому времени, когда человечество осознало вред, нанесенный изобретениями Миджли, их автор давно уже умер. Можно сказать, что под конец жизни его настигло справедливое возмездие — причиной смерти изобретателя стало его же собственное детище. В 1940 году Миджли заболел полиомиелитом и оказался прикован к постели. Он придумал специальное приспособление, которое позволяло ему вставать, но, как всегда, Миджли не разглядел таящейся в нем опасности. 2 ноября 1944 года он запутался в тросах своего устройства и был ими задушен.

Одним из основоположников современной вычислительной техники стал британский математик Алан Тьюринг. А прославился он отчасти благодаря так называемой «машине Тьюринга», которая существовала исключительно умозрительно — в воображении ученого и его научных трудах. Тем не менее нынешние компьютеры работают во многом на базе гениальных догадок Тьюринга и небольшой группки его единомышленников, чьи главные открытия пришлись на 1930-е годы.

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

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

В своей работе Тьюринг описывает изменения в ячейках, производимые так называемым компьютером, или вычислителем (в те времена слово «компьютер» означало человека, а не предмет):

«Вычисление обычно осуществляется путем записи неких символов на бумаге. Представим себе, что эта бумага поделена на клеточки, как тетрадка по арифметике… Поведение компьютера в любой момент времени определяется символами, которые он воспринимает, и его состоянием в данный конкретный момент»[18].

Простейший репертуар символов состоит из 0 и 1, и к этому репертуару прилагается таблица инструкций. Такая таблица может включать в себя, например, следующие правила:

Если головка находится над ячейкой, содержащей 0, то 0 стирается и на его место записывается 1, после чего лента сдвигается вправо.

Если головка находится над ячейкой с символом 1, то 1 стирается и на ее место записывается 1 (снова), после чего лента сдвигается влево.

Если головка находится над ячейкой с символом 0, то 0 стирается и на его место записывается 1, после чего лента сдвигается влево.

Если головка находится над ячейкой с символом 1, то 1 стирается и на ее место записывается 1 (снова), после чего лента сдвигается вправо.

Если головка находится над ячейкой с символом 1, то 1 стирается и на ее место записывается 1 (снова), после чего лента остается на месте.

Эти инструкции (всего лишь часть полной таблицы правил) можно коротко выразить так:

(0,1, П), (1,1, Л), (0,1, Л), (1,1, П) и (1,1, Н)

Таблица инструкций используется снова и снова, пока машина от некоего начального состояния (определенного набора символов) не перейдет к конечному состоянию. При должном применении правил начальное состояние ленты — скажем, двоичное отображение числа 27 — может прийти к конечному состоянию — 729, — нужно только воспользоваться набором инструкций для умножения чисел на самих себя.

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

Хотя эта «машина Тьюринга» так и не была создана в действительности, Тьюринг вовсю трудился над производством других, уже вполне реальных устройств для решения задач. Одна из важнейших задач, которую Тьюринг пытался решить и которая остается нерешенной по сей день, — это математическое выражение, названное «гипотезой Римана», оно касается распределения простых чисел среди натуральных.

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

Биограф Тьюринга Эндрю Ходжес (р. 1949) писал:

Потерпев неудачу при создании машины Римана, Тьюринг, однако, внес существенный вклад в разработку одного из самых важных в истории вычислительной техники приборов — машины для расшифровки кода «Энигма», которым Германия пользовалась в ходе Второй мировой войны. Эта работа, как принято считать, помогла закончить войну на два года раньше и принесла Тьюрингу орден Британской империи.