Leyendo a Turing. Un viaje por el histórico artículo de Turing sobre computabilidad y máquinas de Turing

Ideas principales

• Exploración del trabajo de Alan Turing «Sobre los números computables, con una aplicación al problema de decisión» y su influencia en el desarrollo de las ciencias de la computación.
• El concepto de la máquina de Turing como modelo abstracto de cálculo y su papel en la formación de la informática teórica.
• Análisis del concepto de computabilidad y sus límites, incluyendo el problema de la parada.
• Contexto histórico y desarrollo de ideas relacionadas con la formalización de los conceptos de algoritmo y cálculo.
• Influencia del trabajo de Turing en el desarrollo de las computadoras y la programación modernas.
• Comentario detallado y explicación de conceptos matemáticos y lógicos complejos presentados en el trabajo original de Turing.