20/05/12 14:18:35 gmSQkuCI.net
>>539
＞不完全性定理の証明は不完全でなければいけないと思って
上記の冗談に関連してｗ
ゲーデルの第一・第二不完全性定理ののうち
第二のほうは実はゲーデルの論文では不完全です
なぜなら、正確には第一不完全性定理の証明を
算術化する必要があるからです
ただ、この件については、当時の論理学者は
不完全であることを承知していましたが、
「証明の算術化は、やればできるよね」
ということでだれも異議を唱えませんでした
第一不完全性定理の形式的証明は
計算機科学者のN.Shankarによって実施されましたが
これをゲーデルコーディングによって
さらに算術化するのは多大な手間を必要とします