>>11
チャイティンのLispを使った証明（？）は証明になってるんでしょうか？
デモンストレーションとしては興味深いのですが、有効性が納得できません。