语言
没有数据
通知
无通知
位相的場の理論(いそうてきばのりろん)もしくは位相場理論(いそうばりろん)あるいはTQFTは、位相不変量を計算する場の量子論である。 TQFTは物理学者により開拓されたにもかかわらず、数学的にも興味を持たれていて、結び目理論や代数トポロジーの 4次元多様体の理論や代数幾何学のモジュライ空間の
弦理論(げんりろん、英: string theory)は、粒子を0次元の点ではなく1次元の弦として扱う理論、仮説のこと。ひも理論、ストリング理論とも呼ばれる。 1970年に南部陽一郎、レオナルド・サスキンド 、ホルガー・ベック・ニールセン (Holger Bech Nielsen|en)
論理
きさが無限に小さな0次元の点粒子ではなく、1次元の拡がりをもつ弦であると考える弦理論に、超対称性という考えを加え、拡張したもの。超ひも理論、スーパーストリング理論とも呼ばれる。 尚、この理論を間違いであるとする声も少なくはない。 宇宙の姿やその誕生のメカニズムを解き
ヘテロティック弦理論(ヘテロティックげんりろん、英語: heterotic string theory)とは、ボゾン的な弦理論と超弦理論を組み合わせて作られた理論である。弦理論では、弦の右巻きの自由度の励起と左巻きの自由度の励起はほとんど独立であるため、左巻きの自由度はボゾン弦
推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
など)に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語(「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など)に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる
可能世界論がある。上で見た公理系のバリエーションは、可能世界のあいだの二項関係として定義される到達可能性の概念によって捉えることができる。なお、可能世界という概念をどう解釈すべきかを巡っては、哲学上の議論も盛んである。 命題様相論理の意味論の概要は以下の通りである。