Alan Turing is surely one of the brightest minds of the past century. His main discovery, Turing Machines, is too often linked to modern computers and Enigma. This description misses the depth of his research and genius. Let's talk about a quest for truth, his quest. #Thread In 1936, when he was 24 years old (!!), Turing wrote the foundational scientific article "On computable numbers, with an application to the Entscheidungsproblem" . The results in this paper gave a massive blow to Mathematical Logic as a discipline. Wait...Logic and not Computing?