“ We suppose that the computation is carried out on a tape but we avoid introducing the ‘state of mind’ by considering a more physical and definitive counterpart of it. Deconstructing the human procedure to its constituent elements, Turing wrote: To define his automatic machine, known today as a Turing Machine (TM), Turing drew inspiration from the process undertaken by a computer, which in his sense of the word referred to a human who computes. Turing’s 1937 paper, “ On Computable Numbers, With an Application to the Entscheidungsproblem” – published independently of a proof by Alonzo Church the year prior – formalized the notion of computation and constructed a theoretical machine that would later serve as a model for modern digital computers. Just shy of a decade later, a 24-year-old mathematician named Alan Turing ended Hilbert’s hope of finding any such algorithm.
0 kommentar(er)
