[[Archivo:Turing Machine.png|thumb|300px|Diagrama artístico de una máquina de [[Rabia|RicardoAlan SerratoTuring|Turing]].]] Las Máquinas de Turing fueron introducidas por [[Alan Turing]] en el trabajo [http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf “''On computable numbers, with an application to the [[Entscheidungsproblem]]''”], publicado por la Sociedad Matemática de Londres en 1936, en el cual se estudiaba la cuestión planteada por [[David Hilbert]] sobre si las matemáticas son decidibles, es decir, si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing ideó un modelo formal de computador, la máquina de Turing, y demostró que existían problemas que una máquina no podía resolver.
Con este aparato extremadamente sencillo es posible realizar cualquier cómputo que un computador digital sea capaz de realizar.
