...
Потратив лето 1937-го на работу в Bell Labs на Манхэттене (идеальное место для размышлений над релейными схемами), Шеннон написал магистерскую диссертацию под названием «Символический анализ релейных и коммутационных схем» (A Symbolic Analysis of Relay and Switching Circuits). Наряду с работой Алана Тьюринга, созданной за год до этого, диссертация Шеннона сформировала фундамент науки вычислительных машин.
...
1937 год можно считать поворотным моментом в истории вычислительных машин. В тот год Шеннон и Штибиц заметили сходство между релейными схемами и математическими функциями. Эти выводы привели Bell Labs к созданию целой серии важных цифровых машин. Это была своего рода экзаптация — или даже замещение, — когда скромное телефонное реле, не меняя физической формы, стало воплощением абстрактной математики и логики.

В том же году в январском номере издания Proceedings of the London Mathematical Society вышла статья британского математика Алана Тьюринга «О вычислимых числах применительно к проблеме разрешения» (On Computable Numbers, With an Application to the Entscheidungsproblem). В ней была описана универсальная вычислительная машина: автор утверждал, что она могла бы выполнять действия, логически эквивалентные действиям людей-вычислителей. Тьюринг, который в предыдущем году поступил в аспирантуру Принстонского университета, также был заинтригован релейными схемами.
...
В том же 1937-м Говард Эйкен (Howard Aiken) размышлял о предполагаемой автоматической вычислительной машине. Гарвардский аспирант-электротехник Эйкен выполнял немалую долю вычислений с помощью одного лишь механического калькулятора и печатных книг с математическими таблицами. Он предложил конструкцию, которая избавляла бы от этой рутины. В отличие от существовавших вычислительных устройств, она должна была автоматически и циклично обрабатывать процессы, используя результаты предыдущих вычислений в качестве входных данных для следующих.

Тем временем в Nippon Electric Company телекоммуникационный инженер Акира Накашима (Akira Nakashima) ещё с 1935 года исследовал связи между релейными схемами и математикой. Наконец, в 1938-м он самостоятельно доказал эквивалентность релейных схем булевой алгебре, которую Шеннон обнаружил годом ранее.

В Берлине Конрад Цузе (Konrad Zuse), бывший авиаинженер, уставший от бесконечных вычислений, которые требовались на работе, искал средства на создание второй вычислительной машины. Ему не удалось заставить надёжно работать своё первое механическое устройство — V1, поэтому он хотел сделать релейный компьютер, который и разработал в соавторстве со своим другом, телекоммуникационным инженером Гельмутом Шрейером (Helmut Schreyer).
...