Consideraciones sobre el teorema de incompletud de Gödel y su relación con la computabilidad y el mecanicismo

Resumen

Resumen:

Actualmente es claro que la incompletud de cierta clase de sistemas formales es uno de los resultados más importantes de la lógica y la matemática moderna, aún así permanecen ciertas disputas en torno a su significancia y consecuencias. En este artículo proponemos revisar los aportes del teorema de incompletud de Gödel para el desarrollo de la teoría de la computabilidad y, en base a esto, discutimos algunos de los argumentos gödelianos anti-mecanicistas relativos a debates en filosofía de la mente. Retomamos en particular la lectura histórica y conceptual de Judson Webb sobre los desarrollos metamatemáticos y la configuración de un nuevo mecanicismo y la ponemos en discusión con la interpretación antimecanicista de John Lucas sobre el teorema de Gödel.

Abrstract:

In process.