Máquina+de+Turing+(1936)

=**Alan Turing contestó a la cuestión “¿Son las matemáticas decidibles? es decir, ¿Hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no?” en el artículo //On Computable Numbers//. Para resolver la cuestión Turing construyó un modelo formal de computador, y demostró que había problemas tales que una máquina no podía resolver **=



