M理論 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "M理論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年3月） M理論（Mりろん）とは、現在知られている5つの超弦理論を統合するとされる、11次元（空間次元が10個、時間次元が1個）の仮説理論である。尚、この理論には弦は存在せず、2次元の膜（メンブレーン）や5次元の膜が構成要素であると考えられている。 低エネルギー極限[編集] この理論の低エネルギー有効理論は、11次元超重力理論となる。この理論に登場する場は重力場（グラビトン場）・グラビティーノ場・3形式場しかなく、超弦理論の低エネルギー有効理論である10次元超重力理論よりも単
ゲーデルの不完全性定理 - Wikipedia
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科学）の重要な基本定理[2]。（数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。） 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場（英語版）（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明（英語版））[3][注 2]。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「異世界からきた」論文を巡って： 望月新一による「ABC予想」の証明と、数学界の戦い
