Define formalmente una Máquina de Turing. Explica el concepto de 'decidibilidad' y proporciona un ejemplo de un problema indecidible (como el problema de la parada). Discute la Tesis de Church-Turing y sus implicaciones para los límites de la computación teórica.