20/05/12 14:32:44 gmSQkuCI.net
蛇足
ゲーデルの不完全性定理の別証明が全く無意味、ということはありません
ゲーデルの不完全性定理は、リシャールのパラドックスのアイデアを
利用して証明されたが、論理学者のブーロスは、ベリーのパラドックスの
アイデアを利用して、第一不完全性定理の別証明(1989)を考えた。
さらにブーロスのアイデアに基づき、菊地誠によって
第二不完全性定理の別証明(1994)もなされた。
さらに哲学者ヤブローが考えたヤブローのパラドックス(1993)によっても
不完全性定理が証明できることが知られている
（ヤブローのパラドックスは、ウソツキパラドックスの自己言及を
命題の無限列を使って解消したもの。ペダンティックな言い方をすれば
ヤブローのパラドックスは、ウソツキパラドックスの”普遍被覆”）
スティーブン・ヤブロー
URLﾘﾝｸ(ja.wikipedia.org)
Yablo's paradox
URLﾘﾝｸ(en.wikipedia.org)