mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > サークル、ゼミ > 不完全性定理

不完全性定理

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2017年4月12日 16:36更新

論理体系について、完全である体系が存在できないことを証明した深遠な定理

1)第1不完全性定理
 「ある矛盾の無い理論体系の中に、
  肯定も否定もできない証明不可能な命題が、必ず存在する」

2)第2不完全性定理
 「ある理論体系に矛盾が無いとしても、
  その理論体系は自分自身に矛盾が無いことを、
  その理論体系の中で証明できない」

いずれも証明され、無矛盾であることも、無矛盾の体系内に証明可能な命題のみとすることもできないのだという・・・

コミュニティにつぶやきを投稿

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい(嬉しい顔)
参加メンバー 44人

もっと見る

開設日
2010年2月7日

2847日間運営

カテゴリ
サークル、ゼミ
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!