バグのないことを検証するソフトウェアは作れない

sumiiさんの言葉がbonotakeさんの記事を念頭においているとしたら、僕はそんなこと言ってませんよー。 バグのない（少なくとも無限走行はしない）ソフトウェアであることを検証する／保証するソフトウェアは作れません！ と言ったはず*1。

*1:「任意のソフトウェアを入力として一般的に…」とかまで念を押した記憶はないけど、文脈としてそういうことは合意（あるいは含意）されていたと思います。