独立性 (数理論理学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 独立性 (数理論理学)の意味・解説 

独立性 (数理論理学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/12/25 14:40 UTC 版)

平行線公準 (P) は残りのヒルベルトの公理 (R) から独立である: モデル (1) は RP 両方をみたすが、モデル (2,3) は R をみたすが P をみたさない。

数理論理学において、独立性(どくりつせい、Independence)とは特定の文についての、他の特定の文の集合からの証明不可能性のことである。ここでいう特定の文の集合は"公理系"と呼ばれて参照される。

文 σ が与えられた一階の理論 T から独立であるとは、T が σ を証明も反証もしないことをいう; すなわち、T から σ を証明することはできず、T から σ が偽であるを証明することもできない。しばしば、σ は(同じ意味だが) T から決定不能と呼ばれる。(この概念は計算機科学の決定問題等で言われる"決定可能性"とは関係がない。)

理論 T独立 であるとは、T の中のどの公理も T 内の他の残りの公理から証明できないことをいう。独立な公理の集合をもつ理論は独立的に公理化可能であるという。

使用上の注意

著者によっては σ が T から独立であるという言葉を、T が単に σ を証明しないこととし、T が σ を反証できない必要性を仮定していないことがある。こういった著者はしばしば、T が σ を証明も反証もしないことを "σ は T と独立でありかつ矛盾しない" と表現する。

集合論における独立性の結果

集合論における多くの興味深い命題がツェルメロ=フレンケル集合論 (ZF) から独立である。以下に記す集合論の命題は ZF が無矛盾であるという仮定の下で ZF から独立であると知られているものである:

以下の命題は (いずれも偽であると証明されておらず、) ZFC (ZF に選択公理を加えたもの)が無矛盾であるという仮定の下で ZFC において ZFC と独立であることを証明することはできない

以下の命題は選択公理と矛盾し、従って ZFC とも矛盾する。しかしそれらは前述と同じ意味でおそらく ZF と独立である: ZF から証明することはできないし、現在の集合論者で ZF から反証できることを期待しているものはほぼいない。しかしながら ZF が無矛盾であることを仮定しても ZF では、ZF からこれらが独立であることを証明できない。

物理学の理論への応用

2000年以降、論理的独立性は物理学の基礎において極めて重要な意味を持つものであると理解されるようになった。[1][2]

関連項目

脚注

  1. ^ Paterek, T.; Kofler, J.; Prevedel, R.; Klimek, P.; Aspelmeyer, M.; Zeilinger, A.; Brukner, Č. (2010), “Logical independence and quantum randomness”, New Journal of Physics 12: 013019, arXiv:0811.4542, Bibcode2010NJPh...12a3019P, doi:10.1088/1367-2630/12/1/013019 
  2. ^ Székely, Gergely (2013), “The Existence of Superluminal Particles is Consistent with the Kinematics of Einstein's Special Theory of Relativity”, Reports on Mathematical Physics 72 (2): 133–152, arXiv:1202.5790, Bibcode2013RpMP...72..133S, doi:10.1016/S0034-4877(13)00021-9 

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  独立性 (数理論理学)のページへのリンク

辞書ショートカット

すべての辞書の索引

「独立性 (数理論理学)」の関連用語

独立性 (数理論理学)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



独立性 (数理論理学)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの独立性 (数理論理学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS