22/04/30 14:46:44.30 .net
>>815の追記
いっておくがプログラムというからには停止する必要がある
（現実には”停止しないプログラム”もあるが、
別にOSとかリアルタイム制御システムの話
をしてるわけではないので除外する）
つまり何が言いたいのかというと、
「与えられたε＞０について
延々と（無限に存在する）（ａ，ｂ，ｃ）の組をチェックして
c > d^(1+ε)
を満たすものだけを列挙しつづけるプログラム」
が、ある出力のあと、延々と何も出力しない、という状況は
証明とは言えないということ
（つまり、これが最後だ！と言い切れることが重要）