Presentacion de la Teoría de la Computabilidad

Este documento presenta una introducción a la teoría de la computabilidad. Explica que Alan Turing demostró en 1936 que existen problemas que no pueden resolverse algorítmicamente, como el problema de la parada. También introduce la tesis de Church-Turing, que establece que cualquier modelo de computación puede resolver los mismos problemas computables. Finalmente, proporciona una guía sobre los conceptos clave de la teoría, incluyendo las máquinas de Turing, la recursión, el problema de la parada y el teorema de Rice.