El concepto de computabilidad y la máquina de Turing ...
1 Alan Turing (1912-1954) Una pregunta acechaba a Turing, y era el hecho de que: ¿Debe existir al menos en principio algún método definido, o proceso mediante el cual toda cuestión matemática pueda ser demostrada? (entscheidugsproblem) Para contestar a esta pregunta necesitaba una definición del concepto método, y para ello analizó que era lo que hacía una persona para transformar un ...