jabberwacky!

who 'r' 'u'?

El post de hoy va de mates (sic), pero si no os queréis tragar todo el rollo podéis pasar directamente al último párrafo donde hay un enlace curioso.

Hay un acuerdo en afirmar que el descubrimiento matemático más profundo del Siglo XX fue el Teorema de Gödel.

A principios de siglo los matemáticos estaban convencidos de que cualquier problema matemático tenía solución y que encontrarla era sólo una cuestión de tiempo. Estaban tan encantados con esto, que los más optimistas pensaban que si se lograba expresar cualquier problema (lógicos, políticos, judiciales incluso los éticos) en términos matemáticos, la solución llegaría antes o después.
En 1930 Kurt Gödel mostró que ningún sistema es capaz de explicarse a sí mismo. Para ello demostró matemáticamente que las Matemáticas fallan.
Es decir: Demostró que existen algunas cuestiones en las matemáticas que tienen como solución un resultado y su contrario a la vez. (Bueno, la verdad es que desde los griegos hasta Bertrand Rusell y Wittgenstein se habían encontrado paradojas irresolubles cuando forzamos el Lenguaje hasta límites raros. Cosas como: “¿Qué es una pregunta? ó como explicar que una persona pueda afirmar “Estoy mintiendo” ó “¿Puede Dios hacer una piedra tan grande que no pueda levantarla?”).
Como las Mates y la Informática son mundos intercambiables, las consecuencias de este resultado sobre el campo de la inteligencia artificial (y No tan artificial!!) son curiosas. “Ningún ente podrá describirse (comprenderse) jamás a si mismo” (Lo cual no quiere decir que no debamos intentarlo :) )

Y ya termino:

Todos los años la Fundación Loebner premia a aquellos tipos que tratan de hacer sistemas que pasen el Test de Turing -El test de Turing dice algo como: “Si eres capaz de hacer una maquina tal que, al chatear Luis con ella no pueda distinguir si lo que le está respondiendo es una máquina o una persona, entonces tu máquina es inteligente”- La aplicación ganadora de 2005 se llama 'Jabberwacky' y podéis charlar con ella aquí.