2008-03-09から1日間の記事一覧

自己言及の定理（ゲーデル）

哲学

ゲーデル・エッシャー・バッハの3人目の重要人物はK・ゲーデル。ゲーデルは不完全性定理の証明の過程で自己言及のパラドックスをうまく回避しつつ自己言及を可能にするテクニックを編み出しました。自己言及は時にとんでもないパラドックスを引き起こします…