Ученый-математик Алан Тьюринг в тексте работы «О вычислимых числах», вышедшей в 1936 году, доказал, что универсального метода установления истины нет и не может быть в математической науке. Математика всегда будет содержать не поддающиеся разрешению задачи. Работы Тьюринга, затрагивающие эту проблему, признаны в качестве основы академических исследований в сфере искусственного интеллекта.

Алан Матисон Тьюринг родился в Майда-Вейле, Лондон, 23 июня 1912 года. Школьные учителя признавали необычайные умственные способности Алана, но не придавали им значения. Мальчик посещал престижную школу города Шернборна, где особый интерес проявлял к точным наукам. В биографии ученого содержится ряд интересных фактов.

Первый день учебы юноши случайно совпал с началом забастовки, и он был вынужден преодолеть 100 км на велосипеде, чтоб провести ночь в безопасности в отеле, вдали от бунтующей толпы.

После Шерборна Тьюринг вошел в число студентов Королевского колледжа (Кембриджский университет), где проучился три года. По итогам защиты магистерской работы, в которой Алан доказал центральную предельную теорему, молодой человек зачислен в штат преподавателей.