В 1936 году Алан Тьюринг доказал теорему, которая на первый взгляд звучит как техническая деталь, а на деле поставила потолок над всей вычислительной наукой: не существует универсального алгоритма, который по описанию любой программы мог бы заранее сказать, остановится она когда-нибудь или будет работать вечно. Это и есть проблема остановки. Но самое интересное в этой истории случилось не в 1936 году, а буквально несколько лет назад — когда математики попытались построить конкретное число, которое воплощает эту неразрешимость, и уткнулись в границу того, что вообще можно доказать...

Если бы нужно было выбрать одного человека, который сильнее других повлиял на появление современных компьютеров, Алан Тьюринг оказался бы в числе первых кандидатов. Ещё в 1930-х он придумал математическую модель вычислительной машины, которая до сих пор лежит в основе информатики, а во время Второй мировой войны помог союзникам взломать немецкий шифр «Энигма». Многие технологии, которые сегодня кажутся привычными, появились благодаря его попыткам решить вполне конкретные задачи. 23 июня исполняется 114 лет со дня рождения учёного, чьи идеи изменили мир...