今日の日記は
最近思う
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/
あれ、
ところで
前述ってなんだっけ◎
さらに追い討ちをかけるように
慶太の話が終わるやいなや
また、入電が◎
初代連続来店記録保持者
伝説の男ツッチーね◎
もう、土屋が
話す話す◎
携帯の充電がなくなるほどにね◎
もうね、気がつくと夜が明けかかってました◎
というわけで
その話はまた今度◎
ところで
なんだっけ、その話って。。。笑
