• 2010年11月21日
  • BY 道太

今日の日記は

最近思う

1931年に発表された
ゲーデルの不完全性定理
現在の日本経済に置き換えて
考査してみようと思っていたのですが

あ、

ゲーデルの不完全性定理
分かんないですか??

えーっと
分かりやすく言うと

ゲーデルの定理でいう証明不能命題Gは、「Gは証明できない」という命題と同値である。Gはゲーデル文と呼ばれる。Gが証明可能であれば、命題「Gは証明できる」もまた証明可能である。一方Gは命題「Gは証明できない」と同値であることが証明可能であるので、両者から矛盾が導かれる。 つまり

 * 「Gが証明できる」ならば「矛盾が証明できる」 … (A)したがって、対偶を取れば
 * 「矛盾が証明できない」ならば「Gが証明できない」 … (B)となる。 また、¬Gが証明可能であれば、Gの性質から命題「Gは証明できる」も証明可能である。この際、もしGそのものが証明不能だとすると、ω矛盾ということになる。ω無矛盾であればGも証明可能である。しかしGが証明可能であれば「Gは証明できない」も証明可能であるので、やはり両者から矛盾が導かれる。したがってω無矛盾であれば¬Gも証明できないのである。 よってω無矛盾であれば、Gも¬Gも証明できない。(第一不完全性定理)

って言うことね

すっごい簡単に書くとこんな感じね◎

ま、当然みんな知ってることだよね??

ま、知ってると思うけど
今回はキーボードをタイプするのが
めんどくさかったのでwiki先生に代弁してもらったけど
まぁ常識だよね常識◎

それを身近なものに置き換えて
書こうと思っていたのですが

いかんせん

そんなタイミングで

彼から入電が◎

慶太◎

元スタッフね◎

最近の近況報告を受けて

あーだこーだと話していたら

すっかり前述のハナシを忘れてしまいました◎

こうやって横槍を入れてくるの
まるで
この二人みたい◎

謙一の場合
https://aonisai.jp/1688/

蘭の場合
https://aonisai.jp/1921/

あれ、

ところで

前述ってなんだっけ◎

さらに追い討ちをかけるように

慶太の話が終わるやいなや

また、入電が◎


初代連続来店記録保持者
伝説の男ツッチーね◎

もう、土屋が
話す話す◎

携帯の充電がなくなるほどにね◎

もうね、気がつくと夜が明けかかってました◎

というわけで

その話はまた今度◎

ところで
なんだっけ、その話って。。。笑

↑
PAGE TOP