Happily, the insolubility of the halting problem provides guarantees full employment for software engineers until the end of time, because "just work" is undeci

Happily, the insolubility of the halting problem provides guarantees full employment for software engineers until the end of time, because "just work" is undecidable.