El impacto del trabajo de Gödel y Turing en resultados de indecidibilidad

Ponente(s): Max De C Fernandez

En la plática esbozaré las diversas caracterizaciones de la calculabilidad dadas en 1936 y mostraré por qué, a pesar, de ser equivalentes y casi simultáneas, la de Turing tuvo una mayor repercusión. Enseguida mostraré como esta definición de la calculabilidad, junto con las técnicas de aritmetización de Gödel, permitieron demostrar muy importantes resultados de indecidibilidad.