任意のプログラムxに対して、プログラムサイズを「確実に正しく」計算
するプログラムPが存在すると仮定する。
Pを用いて、次のようなプログラムP'を構成する：
P'は、入力xに対してPを用いて計算し、
(1) xが空プログラムなら100KBを返し、
(2) xが空プログラムでならないなら0KBを返す

さあ、P'の入力として、P'自身を判定させてみよう！
上記のxにP'を代入すると、
(1) P'は空プログラムではないのに0KBが返される

言ってることが完全に矛盾しているので、最初の仮定は誤り。
よって、任意のプログラムに対して、プログラムサイズを「確実に正しく」計算
するプログラムは存在しない。



んな、馬鹿なorz