TEOREMA DE INDECIBILIDAD DE A. TURING

ENUNCIADO Y DEFINICIÓN DEL PROBLEMA DE LA PARADA. DEMOSTRACIÓN POR EL MÉTODO DE INDUCCIÓN Y CONCLUSIONES.

Alejandro Portero Gimeno

En Zaragoza, Octubre de 2020

Juzgen ustedes mismos si merece la pena tanto esfuerzo para nada:

DEMOSTRACIÓN POR EL MÉTODO DE INDUCCIÓN Y CONCLUSIONES

NOTA: EL DESARROLLO TEÓRICO AÚN ESTÁ INCONCLUSO, PERO CREO QUE MERECE LA PENA PUBLICARLO.