Every program has at least one bug and can be shortened by at least one
instruction -- from which, by induction, one can deduce that every
program can be reduced to one instruction which doesn't work.
(Todo programa tiene al menos un error y se puede acortar
en al menos una instrucción -- de lo que, por inducción, uno puede deducir
que todo programa se puede reducir a una instrucción que no funciona.)
No hay comentarios:
Publicar un comentario