daily throwback history
🎒🐰💭’On 28 May 1936,
Alan Turing published his paper concerning Computable Numbers, replacing Gödel’s universal arithmetic-based formal language with the formal and simple hypothetical devices that became known as Turing machines. To this day, Turing machines are a central object of study in theory of computation.