Alan Turing Publishes On Computable Numbers

Alan Turing published 'On Computable Numbers, with an Application to the Entscheidungsproblem' in the Proceedings of the London Mathematical Society. The paper introduced an abstract computing device, later named the Turing machine by Alonzo Church, capable of simulating any algorithmic process through a finite set of instructions operating on an infinite tape. Turing demonstrated that no general procedure could determine whether an arbitrary mathematical statement is provable, resolving David Hilbert's decision problem and establishing the theoretical framework that underpins all subsequent digital computation.