チューリングマシンの停止性問題が決定不能だから、バグのないソフトウェアは作れない

なんですかそれは

停止性問題、停止問題（halting problem） - 決定不能性