Comment Comment by blonde_ocean How else do you prove something using the halting problem other than a proof of contradiction? parent blonde_ocean 5 years ago