La Incomputabilidad del Problema de la Parada en Programas de Ábacos
Enviado por Programa Chuletas y clasificado en Informática y Telecomunicaciones
Escrito el en
español con un tamaño de 6,53 KB
Introducción a la Incomputabilidad
En este documento, definiremos una función específica, h, y demostraremos que ningún programa de ábacos es capaz de computarla. Esta demostración es fundamental para comprender los límites inherentes de la computación.
Enumeración de Funciones y Programas
La definición de la función h se basa en una enumeración sistemática de todas las funciones de una variable que son computables por ábacos. Esta enumeración, denotada como f0, f1, f2, …, se deriva de una enumeración previa de todos los programas de ábacos, A0, A1, A2, ….
Los detalles precisos sobre cómo se realiza esta enumeración de programas de ábacos no son cruciales para la demostración. Lo esencial es que todos los programas de ábacos
... Continuar leyendo "La Incomputabilidad del Problema de la Parada en Programas de Ábacos" »