2010-08-23から1日間の記事一覧
「証明できない問題がある」ということを証明したゲーデルの不完全性定理。簡単に言えば「無理なものは無理」ってことを証明したということだ。 当然ながら、僕は本定理がどのようにして証明されたのかは知らない。知らないが、「証明できると仮定すると矛盾…
「証明できない問題がある」ということを証明したゲーデルの不完全性定理。簡単に言えば「無理なものは無理」ってことを証明したということだ。 当然ながら、僕は本定理がどのようにして証明されたのかは知らない。知らないが、「証明できると仮定すると矛盾…
