Sobre la relevancia de la tesis de Turing

Autores/as

  • Aldana D’Andrea Universidad Nacional de Río Cuarto (UNRC)/Universidad Nacional de Córdoba (UNC)/ Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)

DOI:

https://doi.org/10.48160/18532330me7.151

Palabras clave:

tesis de Turing, cálculo efectivo, Entscheidungsproblem

Resumen

En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes y proporcionan, por lo tanto, una misma solución al Entscheidungsproblem de Hilbert, hay una especie de acuerdo en considerar que la formulación de Turing es la más satisfactoria o la más convincente. La pregunta es por qué se da tal acuerdo. En respuesta a esta pregunta destacamos la complejidad del Entscheidungsproblem e indagamos en qué medida las propuestas de Church y Turing captan dicha complejidad.

Descargas

Publicado

2017-04-01

Cómo citar

D’Andrea, A. (2017). Sobre la relevancia de la tesis de Turing. Metatheoria – Revista De Filosofía E Historia De La Ciencia, 7(2), 31–38. https://doi.org/10.48160/18532330me7.151