形式的理論の次数との関係とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 形式的理論の次数との関係の意味・解説 

形式的理論の次数との関係

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/27 23:30 UTC 版)

低基底定理」の記事における「形式的理論の次数との関係」の解説

これらの諸定理形式的理論計算可能性と密接に関係している。任意の無矛盾理論 T {\displaystyle T} はヘンキン構成類似によって無矛盾かつ完全な理論拡大することができる。それにはまず閉論理式全体を φ 0 , φ 1 , … {\displaystyle \varphi _{0},\varphi _{1},\ldots } と並べる。 T {\displaystyle T} にこれらの閉論理式肯定形または否定形付け加えることによって無矛盾完全なものに拡大する有限な拡大仕方幾つもあるので、それらひとつひとつ拡大に対して 2 < ω {\displaystyle 2^{<\omega }} の元を対応させる。その対応は n {\displaystyle n} 番目の閉論理式肯定形否定形のどちらを付け加えたかによって n {\displaystyle n} 項目の値を 0 {\displaystyle 0} または 1 {\displaystyle 1} にすることで与えられる。このとき T {\displaystyle T} の無矛盾拡大対応する 2 < ω {\displaystyle 2^{<\omega }} の元の全体は無限二分木を成す。もし無矛盾拡大の木が次数 a {\displaystyle a} の無限持てば、それを用いて T {\displaystyle T} の無矛盾拡大次数 a {\displaystyle a} のものが得られる。 T {\displaystyle T} が計算可能であったとしても、対応する無矛盾拡大の木が計算可能とは限らないので、基底定理使用できない。そこで無矛盾拡大の木を次のような木に置き換える。 2 < ω {\displaystyle 2^{<\omega }} の元 σ {\displaystyle \sigma } は、 T {\displaystyle T} を σ {\displaystyle \sigma } で拡大した理論から複雑さ(例:証明図のゲーデル数) | σ | {\displaystyle |\sigma |} 未満矛盾に至ることがないならば、その木に属すものとするこのように定義された木は計算可能であるから基底定理使用できる低基底定理上記木に適用することで T {\displaystyle T} の無矛盾完全拡大低次数を持つものが構成できる。

※この「形式的理論の次数との関係」の解説は、「低基底定理」の解説の一部です。
「形式的理論の次数との関係」を含む「低基底定理」の記事については、「低基底定理」の概要を参照ください。

ウィキペディア小見出し辞書の「形式的理論の次数との関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「形式的理論の次数との関係」の関連用語

形式的理論の次数との関係のお隣キーワード
検索ランキング

   

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



形式的理論の次数との関係のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの低基底定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS