Copernicus was an exception, not the rule. Would you say everyone else who lived at the time was not 'really' intelligent?
The same thing applies to undecidable problems. Yes, the halting problem is undecidable in the general case. But most real life programs are expected to always halt, or to repeatedly run a procedure that always halts…
Copernicus was an exception, not the rule. Would you say everyone else who lived at the time was not 'really' intelligent?
The same thing applies to undecidable problems. Yes, the halting problem is undecidable in the general case. But most real life programs are expected to always halt, or to repeatedly run a procedure that always halts…