Turing, área m. (1912-1954)

Alan Mathison Turing nació el 23 de junio de 1912 en Londres y murió el 7 de junio de 1954 en su casa cerca de Manchester. Sufrió la escolarización convencional de la clase media-alta inglesa, pero derrotó las convenciones al convertirse en un matemático de Cambridge tímido, excéntrico pero atlético. La Segunda Guerra Mundial transformó la vida de Turing al darle un papel crucial en descifrar los cifrados alemanes, con una responsabilidad particular en la guerra del Atlántico. A partir de entonces, Turing dirigió el diseño de computadoras electrónicas y el programa de inteligencia artificial. En 1950 comenzó otra carrera como biólogo matemático, pero fue atacado por un proceso judicial por homosexualidad. Sus últimos dos años, aunque eclipsados ​​por el castigo y el estado de riesgo de seguridad, vieron un trabajo vigoroso y desafiante hasta su muerte por envenenamiento con cianuro.

El papel de Turing Computing Machinery and Intelligence apareció en 1950. Esta, su única contribución a una revista filosófica, iba a convertirse en una de las más citadas. Consideró la pregunta "puede pensar una máquina" y dio un argumento que rompía con todas las especulaciones previas sobre los homúnculos y los robots, y con todas las discusiones anteriores sobre la mente, la materia, el libre albedrío y el determinismo. Se basó en su propia elucidación de la computabilidad matemática, como lo logró en 1936. También reflejó su experiencia única con la computación práctica.

La computabilidad de Turing surgió de la larga búsqueda de una base lógica para las matemáticas, en la que Bertrand Russell había desempeñado un papel destacado. En 1931, Gödel demostró que ningún esquema de prueba formal como el que había previsto Russell podía encapsular las matemáticas. En 1935, Turing abordó la cuestión pendiente adicional de si podría haber un método definido para decidir si una proposición dada era susceptible de prueba formal. La cuestión giraba en torno a encontrar una definición de "método", y Turing la suministró con su construcción de "máquina de Turing". Esto era matemáticamente equivalente a la definición de "efectivamente calculable" ofrecida por el lógico Alonzo Church un poco antes, pero Church aceptó que el argumento de Turing le daba un fundamento natural y convincente. Sus afirmaciones, tomadas en conjunto, se conocen como la tesis de Church-Turing. Al aceptar esta tesis, se deduce que no existe un método eficaz para decidir la probabilidad. Asimismo, se han resuelto muchas otras cuestiones matemáticas de la decidibilidad.

La tesis de Turing se basó en analizar las acciones de una mente humana al seguir una regla y traducirla en acciones formales de lectura y escritura. De manera más general, el formalismo de Turing estaba destinado a capturar lo que podría llevarse a cabo mediante un "proceso puramente mecánico", interpretándolo como uno que "podría ser realizado por una máquina". Así, Turing encontró una nueva conexión entre la mente y el mundo material. Por un lado, dio un nuevo análisis lógico de las operaciones mentales, pero por otro lado, el criterio de "efectividad" implicaba algo que podría implementarse físicamente.

Como matemáticas, el argumento de Turing significaba operaciones de codificación on símbolos by símbolos, más bien como teoremas codificados de Gödel sobre nosotros los números by números. Turing aprovechó esto al describir una máquina "universal", que podría hacer el trabajo de cualquier máquina de Turing. Este concepto condujo directamente a la computadora moderna en la que el programa y los datos se almacenan y manipulan por igual como símbolos. En 1936, Turing no tenía tecnología para implementar esta idea. Hizo un trabajo importante adicional explorando las matemáticas de la incomputabilidad, que abordó el papel de la intuición humana en las matemáticas. También discutió los fundamentos de las matemáticas con Wittgenstein. Pero luego, seis años de trabajo de guerra lo llevaron de regreso a la "máquina universal". Había adquirido la experiencia de la electrónica avanzada y, por tanto, los medios para poner en práctica su idea.

El interés central de Turing en la informática radicaba en su papel en la investigación de la naturaleza de la mente. Describió su plan informático de posguerra como "construir un cerebro" y afirmó con creciente confianza que cualquier La acción de la mente, incluidos los actos creativos, podría describirse como operaciones computables. El sofisticado trabajo criptoanalítico de Turing lo había impresionado con el alcance aparentemente ilimitado de lo computable. Ahora descartaba los argumentos derivados del teorema de Gödel que sugerían un aspecto no computable de la mente humana. Hizo hincapié en que cualquier operación computable podría implementarse en una sola máquina universal: la computadora. Por tanto, la computadora podría rivalizar con la inteligencia humana.

El artículo de Turing de 1950 resumió estos argumentos para un amplio número de lectores. Su visión subyacente asumió una base física para la Mente, pero en lugar de argumentar a favor de esto, apeló a un argumento de la observación externa. Sostuvo que una computadora que exhibe la apariencia de inteligencia debe ser acreditada con inteligencia. Por tanto, evitó discutir la realidad de la conciencia y trató de eludir su tradicional primacía filosófica. En cambio, ilustró su "juego de imitación" con una visión provocativamente amplia de la "inteligencia" y se complació en interpretar el papel de un nuevo Galileo, desafiando la creencia ortodoxa en la naturaleza humana única de la mente.

Este "juego de imitación", el llamado "Test de Turing" para la inteligencia, no fue el único contenido de este artículo. También esbozó un programa constructivo para la investigación de la Inteligencia Artificial, que vio como una combinación de métodos "de arriba hacia abajo" mediante programación y métodos "de abajo hacia arriba" que utilizan redes capaces de desarrollar funciones a través del entrenamiento. Turing vio la auto-modificación en las máquinas como una analogía clave con el desarrollo mental humano. Sus dudas y reservas se centraron en la cuestión de definir una línea válida que separe la mente del mundo externo con el que interactúa.

Turing hizo una profecía de progreso dentro de cincuenta años, que aunque se expresó con cautela, resultó ser demasiado optimista. Algunos protagonistas de la inteligencia artificial han llegado a ver el ambicioso objetivo de Turing como una distracción de la investigación sistemática. Pero muchos pensadores han encontrado vital continuar con los argumentos de Turing. Lucas revivió la objeción del teorema de Gödel, que Turing había descartado. Hofstadter y Dennett luego defendieron enérgicamente la opinión de Turing. Penrose presentó un nuevo argumento. Esto comparte con Turing un punto de vista totalmente materialista, pero sostiene que debe haber elementos incontestables en la física del cerebro, que surgen del proceso de reducción de la mecánica cuántica. Una charla tardía de Turing indica que él también consideró esta cuestión, pero la muerte interrumpió las investigaciones físicas que emprendió en 1953 y 1954. La relación de la computabilidad con la física, en particular con la base material de la mente, es la cuestión central. dejado por el trabajo de Turing.

Como ser humano, Alan Turing era muy voluntarioso y estaba lejos de ser desalmado, pero buscó mecanizar la voluntad y se burló del concepto de alma. Era muy original y se resistía a la conformidad social, pero intentó explicar la creatividad como un proceso de aprendizaje. La veracidad era primordial para él, sin embargo, se comprometió con los secretos de estado y definió la inteligencia por imitación. La paradójica vida y muerte de Alan Turing siguen fascinando.

Véase también Inteligencia artificial; Iglesia, Alonzo; Teoría de la computabilidad; Máquinas de Computación; del, Kurt; Máquinas lógicas; Inteligencia de máquina; Russell, Bertrand Arthur William.

Bibliografía

Trabajos primarios

El Turing esencial, editado por BJ Copeland. Oxford: Oxford University Press, 2004.

Obras completas de AM Turing, editado por RO Gandy et al. Amsterdam: Elsevier, 1992–2001.

Trabajos secundarios

Diamond, C., ed. Conferencias de Wittgenstein sobre los fundamentos de las matemáticas, Cambridge 1939. Hassocks, Reino Unido: Harvester, 1976.

Herken, R., ed. La máquina universal de Turing. Oxford: Oxford University Press, 1988.

Hofstadter, DR y DC Dennett. La mente es yo. Nueva York: Basic, 1981.

Hodges, A. Alan Turing: El enigma. Nueva York: Simon & Schuster, 1983.

Hodges, A. Turing: un filósofo natural. Londres: Routledge, 1997.

Penrose, R. La nueva mente del emperador. Oxford: Oxford University Press, 1989.

Teuscher, C., ed. Alan Turing: vida y legado de un gran pensador. Berlín: Springer, 2004.

Andrew Hodges (2005)