数理論理学における応用とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 数理論理学における応用の意味・解説 

数理論理学における応用

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/02/16 15:39 UTC 版)

創造的集合と生産的集合」の記事における「数理論理学における応用」の解説

算術標準模型真な文のコード全体集合 T {\displaystyle T} は生産的である。というのも第1不完全性定理の系によれば、 W {\displaystyle W} が T {\displaystyle T} に含まれる帰納的可算集合ならば、 T ∖ W {\displaystyle T\setminus W} は少なくもひとつ要素標準模型真だ証明不能な文)を持ち、それを帰納的に計算できるからである。ところで T {\displaystyle T} の補集合帰納的可算でない。すなわち T {\displaystyle T} は補集合創造的でない生産的集合の例となっている。 T {\displaystyle T} をロビンソン算術帰納的拡大無矛盾とする。すると T {\displaystyle T} で証明可能な文の集合 T h ( T ) {\displaystyle \mathrm {Th} (T)} は帰納的可算である。帰納的可算集合 A ⊆ N {\displaystyle A\subseteq \mathbb {N} } を任意に取る。するとΣ1集合数値別表現可能性より、論理式 φ ( x ) {\displaystyle \varphi (x)} が存在して、次が成り立つ: n ∈ A ⟺ T ⊢ φ ( n ¯ ) ⟺ ⌜ φ ( n ¯ ) ⌝ ∈ T h ( T ) {\displaystyle n\in A\iff T\vdash \varphi ({\overline {n}})\iff \ulcorner \varphi ({\overline {n}})\urcorner \in \mathrm {Th} (T)} したがって f ( n ) = ⌜ φ ( n ¯ ) ⌝ {\displaystyle f(n)=\ulcorner \varphi ({\overline {n}})\urcorner } によって A {\displaystyle A} は T h ( T ) {\displaystyle \mathrm {Th} (T)} に多対一還元できる。すなわち T h ( T ) {\displaystyle \mathrm {Th} (T)} は創造的である。 一般にこのような性質を持つ理論創造的理論呼ばれる。Σ1-弱表現可能性を持つ理論創造的である。例えロビンソン算術ZFC集合論創造的理論である。前述結果により創造的理論(の定理集合)の間には計算可能な全単射存在する。この全単射論理結合子演繹保存しない。プールエルクリプキはPour-El and Kripke (1967)において任意の創造的理論の間に論理結合子演繹保存する計算可能な全単射存在することを示した

※この「数理論理学における応用」の解説は、「創造的集合と生産的集合」の解説の一部です。
「数理論理学における応用」を含む「創造的集合と生産的集合」の記事については、「創造的集合と生産的集合」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「数理論理学における応用」の関連用語

数理論理学における応用のお隣キーワード
検索ランキング

   

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



数理論理学における応用のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS