Incluso si detiene todos los cambios en el idioma y la máquina, todavía sabemos que hay una secuencia infinita de posibles programas con diferentes funciones. Prácticamente no podemos iniciar una máquina para enumerarlos automáticamente y probarlos todos, porque un número notable de ellos nunca se detiene.
En consecuencia, el final de la programación solo podría ocurrir si las personas pierden interés en investigar más funciones o transforman el proceso de instruir a la máquina de manera tan radical que quieren llamarlo de otra manera que no sea programación.
No sé si esto ocurrirá, pero no creo que descubrirlo esté sujeto al tipo de argumento formal sugerido por la redacción de la pregunta. Ojalá pudiera estar por 1000 años y ver qué pasa con eso.
- Si los fundadores de los sitios web sociales fueran realmente altruistas, ¿no habrían creado protocolos en lugar de sitios web?
- ¿Podría la tecnología desarrollarse infinitamente más rápido usando una simulación?
- ¿A qué instituto debo unirme para pruebas de software, Seed o MindScripts?
- ¿Cuál es la importancia del software en el comercio?
- ¿Cuál de los siguientes temas es de mayor uso en un entorno profesional: sistemas operativos o sistemas de bases de datos?
Con respecto a una representación mínima de un solo programa, un medidor viable para minimizar podría ser su complejidad de Kolmogorov, que funciona para una sensación de “tamaño de programa inherente” siempre que el lenguaje de representación no pueda cambiar bajo sus pies. Decidir cuál es la representación más compacta para todas las cosas computables probablemente no impediría que nadie escriba equivalentes elaborados, sin embargo, el código fuente puede ser más por el programador que por la computadora.