Sobre la relevancia de la tesis de Turing

Por • 1 may, 2018 • Sección: Leyes

Aldana D’Andrea

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.

Palabras clave tesis de Turing; cálculo efectivo; Entscheidungsproblem

Texto completo:  PDF

Metatheoria – Revista de Filosofía e Historia de la Ciencia

Vol. 7, Núm. 2 (2017)

http://www.metatheoria.com.ar/index.php/m/article/view/151

Post to Twitter

Escribe un comentario