So the halting problem is solved? I don't think so. Let's continue to make software better without resorting to impossible claims.