不完全性定理①アブラクサス・アイオーン @Abraxas_Aeon クルト・ゲーデルの不完全性定理論文には二つの主定理がある。論文中において「定理Ⅵ」「定理ⅩⅠ」と呼ばれるそれは、現在では「第１不完全性定理」「第２不完全性定理」と呼ばれている。 アブラクサス・アイオーン @Abraxas_Aeon １．数学の形式系、つまり、形式系と呼ばれる論理学の人工言語で記述された「数学」は、その表現力が十分豊かならば、完全かつ無矛盾であることはない（定理Ⅵ＝第１不完全性定理）。
ぼやきくっくり | 海上保安官メモ全文起こし
【11/16 16:55追記】 「かぼちゃ」様から海上保安官の直筆メモ全文再現画像をいただきました。 表面（ワープロ打ちの面） 裏面（手書きのみの面） これらをもとに起こしを一部修正しました（大意に変化はありません）。 正誤表は起こしの最後に付けてあります。 ・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・ 尖閣衝突ビデオをYouTubeに流出したsengoku38氏とされる海上保安官。 この方が上司に名乗り出る前、単独インタビューに成功していたという読売テレビの山川友基記者。 水曜から金曜にかけてテレビによく出演していたので、ご覧になった方も多いでしょう。 その山川記者が入手した、任意同行される前に海上保安官が書いたという直筆メモがこれなんですが…… このメモって、日テレかどこかがとっくに全文発表してるんだろうと思いきや、何としてないんですね。 日テレ系のニュース番組や情報番
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
