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

«Большинство математиков знают один метод. Например, Норберт Винер освоил преобразования Фурье. Некоторые математики владеют двумя методами и могут произвести впечатление на того, кто знает только один из них. Джон фон Нейман овладел тремя методами: 1) возможность символического манипулирования линейными операторами, 2) интуитивное ощущение логической структуры любой новой математической теории; и 3) интуитивное ощущение комбинаторной надстройки новых теорий ». Станислав Улам Венгрия: рождение математика...