Pell Freda

Allan Turing

En una época en la que sólo existían unas pocas calculadoras mecánicas, Alan Turing, fue capaz de definir el funcionamiento, los límites y las posibilidades de los computadores. Nosólo fue un adelantado a su época, si no también a la época actual y si no se hubiera suicidado, quizás hubiese inventado algo que convirtiera los ordenadores en algo obsoleto. El inglés Alan MathisonTuring (23/6/1912-7/6/1954), es descrito por su biógrafo, Andrew Hodges, como desaliñado, tartamudo, excéntrico, antisocial, autodidacta, pero sobre todo, como un genio. Era una persona a la que legustaban las matemáticas y el atletismo, ignoraba a todo aquel que consideraba intelectualmente inferior y se veía a sí mismo como a una especie de máquina, pero aunque tuviera una personalidad peculiar,más interesante aún es su trabajo. Para entender su aportación más importante, primero debemos conocer los teoremas de la incompletitud de Kürt Gödel (científico contemporáneo de Turing), quedemostraban que las matemáticas eran incoherentes desde el punto de vista de la lógica. En las matemáticas tenemos un conjunto de reglas y un subconjunto de ellas son axiomas (las reglas básicas que seconsideran evidentes y no derivan de ninguna otra). Lo que demostró Gödel es que se pueden generar reglas que no podemos determinar si son correctas o incorrectas a partir de los axiomas, es decir, reglasque no tienen solución. Un ejemplo típico, dentro del campo de la lógica, es la frase: "Esta frase es falsa", en la que no podemos decir si es verdadera o falsa. Para que las matemáticas siguieransiendo una ciencia consistente, hacía falta encontrar una forma de identificar este tipo de reglas paradójicas usando los axiomas, o dicho de otra forma, hacía falta encontrar una secuencia de pasos(algoritmo) que identificara qué era computable y qué no lo era. A Turing se le ocurrió que estos pasos los podría llevar a cabo una máquina e ideó la máquina de Turing, que es en realidad un ordenador...