En 1931, Kurt Gödel publicó su famoso artículo, Sobre las Proposiciones Formalmente Indecidibles en Principia Mathematica y Sistemas Relacionados. En este artículo Gödel demuestra, en síntesis, que toda formulación axiomática consistente de la teoría de números siempre contiene afirmaciones verdaderas que no podrían demostrarse.
En 1937, Alan Turing publico un artículo sobre los Números Calculables, que desarrollo el teorema de Gödel el cual puede considerarse como el origen oficial de la informática teórica y de la inteligencia artificial. En esta plática explicaremos de forma básica e intuitiva que es una máquina de Turing (precursora de la computadoras digitales). Además, veremos como con esta maquina, Turing pudo demostrar que existen problemas irresolubles y por último hablaremos del test de Turing el cual sirve para identificar la inteligencia artificial de una máquina.
