対角線論法における矛盾

結城浩

2005年4月8日

昨晩『ゲーデル・エッシャー・バッハ』を読んでいて浮かんだ他愛もない思いつき。

「対角線論法」で出てくる矛盾は ContradictionではなくCantoradictionと呼んだらどうだろう。