素数の全体は、２，３，５，７，．．．のように無限に続く数列を構成している。そして、ｎ番目の素数を計算できたとき、それまでに得られた素数を用いて、ｎ番目の素数＋１から順に素数か否かを判定でき、ｎ＋１番目の素数を計算することができる。このように、ｎ＋１番目の素数は、有限回の演算によって計算可能である。
また、数字の０，１で始まり、各項はそれぞれ前の２つを足し合わせた数にすると、フィボナッチ数列ができる。すなわち、０，１，１，２，３，５，８，１３，．．．である。各項をフィボナッチ数という。ｎ＋１番目のフィボナッチ数は、ｎ－１番目とｎ番目の同数値から容易に計算できる。
このような計算可能な数列に対して、その数列を答えとする方程式が必ず存在することは、ロビンソンやマティヤセヴィッチによって示されている。ということは、理論上、すべての素数を導き出す数式が存在するはずである。フィボナッチ数列についても同様である。
ジョーンズは、フィボナッチ数の集合が、負でない整数を変数域とする次の多項式の正値の集合に等しいことを示した。
２ｘｙ４＋ｘ２ｙ３－２ｘ３ｙ２－ｙ５－ｘ４ｙ＋２ｙ
この多項式において、ｘ＝０，ｙ＝０とすると多項式の値が０、ｘ＝１，ｙ＝１とすると同値が１、ｘ＝１，ｙ＝２とすると同値が２、ｘ＝２，ｙ＝３とすると同値が３であることが分かる。
そこで、ｙ＝ｘ＋ｎと置き、ｎ＞０とすると、多項式は、
－ｘ５＋ｎｘ４＋３ｎ２ｘ３－ｎ３ｘ２－３ｎ４ｘ－ｎ５＋２（ｘ＋ｎ）
で表現できる。
ｘ＞ｎでなければならないことが分かる。ｘ＝３，ｎ＝２；ｘ＝５，ｎ＝３；ｘ＝８，ｎ＝５を多項式に代入して値を求めてみると、それぞれ５，８，１３を得る。
何のことはない。ｎ番目とｎ＋１番目のフィボナッチ数を代入して、ｎ＋１番目のフィボナッチ数そのものが求められるだけである。一杯食わされた。ｘ，ｙにこれ以外の正整数を入れると、値はすべて負になるということである。
素数については、次の結果が得られている：正整数の係数をもつある多項式が存在し、負でない整数の集合を変数域とするとき、素数の集合はこの多項式の正値の集合と一致する。
ジョーンズ、サトウ、ワダおよびウィーンズは、２６個の変数ａ，ｂ，ｃ，．．．ｚをもつ多項式を示した。この多項式は、次の形式をしており、－［ ］２の項が１４個もある。
（ｋ＋２）｛１－［ ］２－［ ］２．．．－［ ］２｝
この多項式から直観的に得られる結論は、－［ ］２の項がすべて０になるとき、ｋ＋２が素数を示しているということである。しかし、ｋ＋２が素数の場合でも、－［ ］２の項がすべて０になるとは限らないので、素数については、－［ ］２の項がすべて０でなければならないという厳しい条件が課せられる。逆に、ｋ＋２が素数以外の数であるとき、－［ ］２の項のすべてが０にはならず、多項式の値は、負となる。
この多項式から得られる結論は、何ともばかばかしいものである。例えば、ｋ＝０とすると、ｋ＋２＝２は素数であるが、－［ ］２の項をすべて０にするような変数ａ，ｂ，．．．ｚの負でない整数解が存在することを確かめるのは容易ではない。
そうすると、この多項式は、素数を計算するという実用的な意味をもつものではなく、ただ素数を解とする方程式が存在することを示しているだけのように見える。しかし、数学的により重要なのは、このような多項式を示したことではなく、素数の集合は、ディオファントス方程式と呼ばれる方程式の解になっているという結論の方のようだ。
ディオファントス方程式とは、（ｘ１，ｘ２，．．．，ｘｎ）を変数とする不定方程式であって、整係数の多項式
Ｐ（ｘ１，ｘ２，．．．，ｘｎ）＝０
を満たす負でない整数解を求めることを主旨とする。
上記のフィボナッチ数を生成する多項式は、ｆをフィボナッチ数とすると、多項式－ｆ＝０が負でない整数解を求めることを意味しているから、ディオファントス方程式の一つである。
素数についても同様であり、上記の多項式は、ａ，ｂ，．．．ｚを変数域とするディオファントス方程式
Ｐ（ａ，ｂ，．．．ｚ）＝－［ ］２．．．－［ ］２＝０
を満たす負でない整数解が求められたとき、素数はｋ＋２で与えられることを意味している。
ここで、素数を表す上記の多項式を用いて実際に素数を求める計算をしようとすると、重大な問題に遭遇する、ということを認識したい。そのディオファントス方程式を満たす整数解を計算機で計算するものとする。ｋ＋２が素数であるようなｋが与えられていれば、計算機は、いつかは整数解を導き出し、結果を出力して停止するだろう。しかし、ｋ＋２が素数でなければ、計算機は、整数解を得ることはなく、無限ループに陥ることになる。すなわち、ｋ＋２が素数か否か知られていない任意の数であるとすれば、整数解が得られるか否か、整数解が得られるとしてもどれだけ長い間計算すれば得られるのか、分からないということになる。つまり、任意の数について、整数解の存否は、決定不可能ということになる。これは、ゲーデルやチューリングが言う「決定不可能な命題」ということになるのであろう。
上に見た通り、素数の数列は無限に続くが、ｎ番目までの素数を計算できれば、ｎ＋１番目の素数が計算可能である。しかし、上記の数式により、素数を理論上、有限個の項をもつ多項式の中に閉じ込めることはできたが、その代償として、もはや計算可能性を保証するものではなくなったように見える。
素数を導き出す数式という通俗的な興味からこの道にエントリーしたが、数学がもつ深遠な世界をのぞき見たような気がしてきた。
参考文献：
ソートイ著「素数の音楽」（新潮社）
リーベンボイム著「素数の世界 第２版」（共立出版）