entelequia...

Los proyectos abuelos de la inteligencia artificial, como venimos viendo, se inician lentamente en la época de la ilustración; pero poco a poco, la comunidad científica se va dando cuenta de que sus expectativas eran demasiado ambiciosas y que nunca serían satisfechas. Como hemos visto hubo varios toques de atención a este proyecto y tras la intervención de Gödel queda herido de muerte; en este punto quedó definitivamente claro que no es posible crear un sistema axiomático con amplia capacidad expresiva que sea coherente y completo al mismo tiempo; si el sistema es consistente me encontraré con que hay ideas

Como hemos dicho en los dos artículos anteriores era urgente encontrar una demostración absoluta de la consistencia y completud de la Teoría aritmética propuesta por Peano (de la que ya hemos hablado) . El modo en el que Gödel se enfrenta a esta cuestión se relaciona directamente con la falaz “Paradoja richardiana” pero evitando el carácter falaz en que incurría Richard. Veamos cómo lo hizo.

El mérito de este chaval de 25 años, de apellido ilustre es prácticamente inefable, y no sé yo si eso será por las implicaciones de su teorema. Pero se le ha reconocido como