... for some spectactularly inconsistent and arbitrary definition of "correct program".
Yes, like giving the correct result for every possible input.
alt Hacker News
Yes, like giving the correct result for every possible input.