TFG del doble Grado en Informática y Matemáticas de la UGR. Llevado por el Departamento de Inteligencia Artificial
Este trabajo se centra en un desarrollo histórico de los trabajos de Alan Turing y Kurt Gödel. Desde los Teoremas de Incompletitud a las Máquinas de Turing, además de las posteriores investigaciones a partir de ellos como la Teoria de la Información (Shannon, Liupanov...) o la Teoría Algorítmica de la Información (Chaitin, Conway...).
También se centra mucho en las discusiones epistemológicas que supusieron el motor primigenio de las investigaciones en computación. Sobretodo aquí cabe destacar el Problema II de Hilbert.
Autor: Francisco Vázquez Escobar.
Tutor: Miguel Delgado Calvo Flores (DECSAI).