停止性問題の決定不能性

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

なんですかそれは