Мы уже писали о том, что Алан Тьюринг был выбран из 14 величайших ученых, чтобы его портрет разместили на банкноте 50 фунтов стерлингов. Нам также рассказали, что еще изображено на банкноте. Давайте вместе посмотрим на изображение. Прежде всего, это фотография самого Алана Тьюринга, датированная 1951 годом, сделанная Elliott & Fry. Этот портрет в настоящее время хранится в коллекции фотографий в Национальной портретной галерее в Лондоне. Таблица и математические формулы из оригинальной статьи Тьюринга 1936 г. «О вычислимых числах с приложением к проблеме разрешимости» («On Computable Numbers, with an application to the Entscheidungsproblem»), опубликованной в Материалах Лондонского математического общества (Proceedings of the London Mathematical Society). Эта статья широко признана как основа для информатики. Алан Тьюринг поставил задачу выяснить, может ли существовать способ, с помощью которого любая теорема может быть оценена как доказуемая или не использующая универсальную маши