While reading Compilers by Alfred Aho, I came across this statement:
The problem of generating the optimal target code from a source program is undecidable in general.
The Wikipedia entry on optimizing compilers reiterates the same without a proof.
Here’s my question: Is there a proof (formal or informal) of why this statement is true? If so, please provide it.