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

По окончании второй мировой войны Тьюринг продолжал строить все более сложные вычислительные машины, такие, как Automatic Computing Engine (ACE) — Автоматическую вычислительную машину. В 1948 году Тьюринг перешел на работу в Манчестерский университет и построил первый в мире компьютер с программой, которая хранилась в электронном виде. Благодаря Тьюрингу, Британия стала обладательницей самых мощных компьютеров в мире, но он прожил он недостаточно долго для того, чтобы увидеть наиболее выдающиеся успехи компьютерных вычислений.

В послевоенные годы Тьюринг находился под наблюдением Intelligence Service. Разведчики, считая Тьюринга гомосексуалистом и опасаясь, что человек, знающий о британских секретных кодах больше, чем кто-либо другой, может стать объектом шантажа, следили за каждым его шагом. Тьюринг даже смирился, что неотступно находится под колпаком у разведслужб, но в 1952 году был арестован за нарушение британских законов о гомосексуалистах. Это унижение стало для Тьюринга последней каплей, переполнившей его терпение. Эндрю Ходжес, биограф Тьюринга, так описывает событие, приведшее к его смерти: «Смерть Алана Тьюринга стала сильнейшим потрясением для всех, кто его знал… То, что он был несчастным человеком, находившимся в состоянии нервного напряжения, что он консультировался у психиатра и, как и многие другие, перенес удар, — все это было ясно. Но суд состоялся два года назад, лечение гормонами закончилось годом раньше, и он, казалось, стал выше всего этого.

Расследование, произведенное 10 июня 1954 года, установило, что это было самоубийство. Тьюринга нашли лежащим навзничь в постели. Вокруг его рта была пена. Патологоанатом, проводивший посмертное вскрытие, определил причину смерти как отравление цианидом калия… В доме находился сосуд с цианидом калия и еще один сосуд с раствором цианида. Рядом с кроватью лежала половинка яблока со следами укусов. Анализ яблока не производился».

* * *

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

Куммер, обнаружив пробел в работах Коши и Ламе, установил, что трудностей при доказательстве Великой теоремы Ферма удается избежать, если показатель n равен нерегулярному простому числу (при n , не превышающих числа 100, нерегулярны только простые числа 37, 59 и 67). В то же время, Куммер показал, что теоретически все случаи с нерегулярными значениями показателя n могут быть рассмотрены индивидуально. Единственная проблема заключается лишь в том, что каждый случай требует огромного объема вычислений. Сколь велик объем вычислений наглядно демонстрирует то, что Куммер и его коллега Дмитрий Мириманов потратили три недели, чтобы выполнить все вычисления для трех нерегулярных простых чисел, не превышающих числа 100. Но ни они, ни другие математики не были готовы к тому, чтобы приступить к вычислениям для следующей группы нерегулярных простых чисел в интервале от 100 до 1000.