自己検査問題 (self-examination problem)

補足アルゴリズムとは有限個の文字を使った有限長の文字列で表現されるもの．普通の（正しく動く）ソースコードのこと．したがってありえるアルゴリズムとは高々可算無限個であり枚挙可能である． アルゴリズムは適当な入力を与えると一意の出力を返す．これは関数のようなもので，実際，上では関数適用のように記述している．つまり，アルゴリズム A に入力 s を与えたときの出力を A(s) と書いた．また，上では入力として自然数，出力として文字列（それも "YES" または "NO"）とし