【計算機科学】アルゴリズムを構築する者たちが直面する「複雑性という怪物」 [すらいむ★]

>>14
return true
これだけで証明できる
お前が書いたのはプログラムについてだからだ
> たとえば、与えられた任意のプログラムについて
>それが正しく動作するかどうかを検証できるプログラム
プログラムはプログラムされた通りに動作する
よって常時trueだ