Цитата из книги «Не про бег»

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