Assertion: compiler | /r/CapableOf | solve halting problem
Facets:
Source sentences:
text: There is no way that a compiler can guarantee that, for all program source code, the fastest or smallest possible equivalent compiled program is output; such a compiler is fundamentally impossible because it would solve the halting problem (assuming Turing completeness).[citation needed]