創造的集合と生産的集合

創造的集合から転送)

生産的集合(せいさんてきしゅうごう、: productive set)と創造的集合(そうぞうてきしゅうごう、: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはSoare (1987)Rogers (1987)などの数理論理学のテキストにおける標準的なトピックである。

定義と例

編集

以下では  計算可能関数アクセプタブル・ナンバリング  は対応する帰納的可算集合のナンバリングとする。

自然数の集合  生産的とは、帰納的(計算可能)関数   が存在して、任意の   に対して

  ならば   かつ  

が成り立つことをいう。このとき関数   生産的関数という。

自然数の集合  創造的とは、  が帰納的可算であり、補集合   が生産的であることをいう。後で述べるように創造的集合は帰納的可算な補集合を持たない。すなわち創造的集合は帰納的でない。

典型的な創造的集合に   がある。この集合は停止性問題の対角線を表している。この補集合   は生産的関数   を持つ生産的集合である:   と仮定する。このとき   ならば   かつ   となって不合理。すなわち  。それゆえ  

性質

編集

生産的集合   は帰納的可算でない。というのも    を含むならば、    に属さない数を要素として持つからである。もっといえばそのような数は   から実効的に計算できる。同様に、創造的集合は決定可能ではない。なぜならそれの補集合は生産的集合ゆえ帰納的可算でないからである。

任意の生産的集合は単射・全域的な生産的関数を持つ。

Myhill (1955)による次の定理により、ある意味で任意の創造的集合は   に類似しており、任意の生産的集合は   に類似している。[1]

定理. いま   を自然数の集合とする。次は同値:

  •   は生産的。
  •   1-還元可能。
  •   m-還元可能。

定理. いま   を自然数の集合とする。次は同値:

  •   は創造的。
  •  1-完全
  •   再帰同型である。すなわち、全域計算可能な全単射   が存在して   が成り立つ。

生産的集合は帰納的可算な無限集合を含むことが分かる。   を生産的集合、   の全域的な生産的関数とする。まず帰納的可算集合の指標   を帰納的に

  •  
  •  

となるように選ぶ。Smn定理よりこの指標の列は(原始)帰納的に取れるので、そのようにしておく。  の構成に関する帰納法により   が分かる。またここから   が分かる。ゆえに   はn元集合であり、

 

  に含まれる無限集合である。ところで帰納的集合の帰納的関数による像は帰納的可算であるから、  は帰納的可算である。ここから単純集合は創造的でないことが分かる。

数理論理学における応用

編集

算術の標準模型で真な文のコード全体の集合   は生産的である。というのも第1不完全性定理の系によれば、   に含まれる帰納的可算集合ならば、  は少なくともひとつ要素(標準模型で真だが証明不能な文)を持ち、それを帰納的に計算できるからである。ところで   の補集合は帰納的可算でない。すなわち   は補集合が創造的でない生産的集合の例となっている。

 ロビンソン算術の帰納的拡大で無矛盾とする。すると   で証明可能な文の集合   は帰納的可算である。帰納的可算集合   を任意に取る。するとΣ1集合の数値別表現可能性より、論理式   が存在して、次が成り立つ:

 

したがって   によって    に多対一還元できる。すなわち   は創造的である。

一般にこのような性質を持つ理論は創造的理論と呼ばれる。Σ1-弱表現可能性を持つ理論は創造的である。例えばロビンソン算術やZFC集合論は創造的理論である。前述の結果により創造的理論(の定理集合)の間には計算可能な全単射が存在する。この全単射は論理結合子や演繹を保存しない。プール=エルとクリプキはPour-El and Kripke (1967)において任意の創造的理論の間に論理結合子と演繹を保存する計算可能な全単射が存在することを示した。

歴史

編集

エミール・ポストの重要な論文Post (1944)において創造的集合と呼ばれる概念が定義された。繰り返しになるが、上で述べた集合   は創造的集合の例を与える。[2]この集合は1変数部分計算可能関数の枚挙の対角線   の定義域として定義できる。ポストは創造的集合を用いたゲーデルの不完全性定理の版を与えた。元々の証明において、ゲーデルは大雑把にいえば "私はこの理論からは証明不能である" ことを意味する文を構成し、これが証明も反証もできないことを証明した。ポストは彼の不完全性定理に次のことを付け加えた:

"数学的命題の本体を固定したとしても、数学的思考は本質的に創造的なままであり、これを避けることができないということを結論付ける。"[2]

対角線関数   を用いて定義された基本的な創造的集合   は独自の歴史的発展を持つ。アラン・チューリングチューリング機械に関する1936年の論文は   関数を計算する万能チューリング計算機の存在を示した。関数    (コード e を持つチューリング機械に入力 x を与えて実行した結果) と定義される。万能という意味は、任意の計算可能な関数    の形で書くことができるということである。ここで    を計算するチューリング機械のコードである。上の記法によれば   であり、対角線関数は自然に   と現れてくる。いま   が計算可能だと仮定しよう。すると   上では   に一致し、  の外側ではゼロであるような全域計算可能関数   が考えられる。ところが   はどの部分計算可能関数とも対角線で異なっている。これは   が計算可能ということと矛盾する。したがって   は計算可能でない。このことは停止性問題の決定不可能性を示す。究極的にはこれらのアイデアはチャーチ・チューリングのテーゼに関係する。このテーゼは計算可能関数の概念が直観的な意味で実効的に計算可能な関数の概念の正確な形式化であることを述べる。このことは証明や反証のできる事柄ではない。チャーチのラムダ計算、チューリングの理想化された計算機、後のポストのアプローチなどは全て同値である。

関連項目

編集

注釈

編集
  1. ^ Soare (1987); Rogers (1987).
  2. ^ a b Enderton (2010), pp. 79, 80, 120.

参考文献

編集
  • Davis, Martin (1958), Computability and unsolvability, Series in Information Processing and Computers, New York: McGraw-Hill, MR0124208 . Reprinted in 1982 by Dover Publications.
  • Enderton, Herbert B. (2010), Computability Theory: An Introduction to Recursion Theory, Academic Press, ISBN 978-0-12-384958-8 .
  • Kleene, Stephen Cole (2002), Mathematical logic, Mineola, NY: Dover Publications Inc., ISBN 0-486-42533-9, MR1950307 . Reprint of the 1967 original, Wiley, MR0216930.
  • Myhill, John (1955), “Creative sets”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1: 97–108, doi:10.1002/malq.19550010205, MR0071379 .
  • Post, Emil L. (1944), “Recursively enumerable sets of positive integers and their decision problems”, Bulletin of the American Mathematical Society 50 (5): 284–316, doi:10.1090/S0002-9904-1944-08111-1, MR0010514 
  • Rogers, Hartley, Jr. (1987), Theory of recursive functions and effective computability (2nd ed.), Cambridge, MA: MIT Press, ISBN 0-262-68052-1, MR886890 .
  • Soare, Robert I. (1987), Recursively enumerable sets and degrees: A study of computable functions and computably generated sets, Perspectives in Mathematical Logic, Berlin: Springer-Verlag, ISBN 3-540-15299-7, MR882921 .
  • Pour-El, Marian B.; Kripke, Saul (1967), “Deduction-preserving “recursive isomorphisms” between theories”, Bulletin of the American Mathematical Society 73 (1): 145-148, doi:10.1090/S0002-9904-1967-11689-6, MR0215713 .