リシャールのパラドックスのソースを表示

'''リシャールのパラドックス'''（'''リシャールの逆説'''、Richard's paradox）は[[パラドックス]]のひとつ。

0から1までの[[実数]]をひとつ明確に[[定義]]する日本語の文をリシャール文と呼ぶことにし、このようなリシャール文を全て並べることを考える。
日本語の文字種は明らかに有限であるから、有限のあらゆる正の自然数 ''n'' に対して、字数 ''n'' のリシャール文は高々有限個(しばしば 0 個)存在する。
よって、リシャール文をその字数の順に、字数が同じもの同士は辞書順に並べることにすれば、あらゆるリシャール文を一列に並べて、自然数で番号付けができるはずである。

さて、次の文によってある実数を定義する:
:整数部分を 0 とし、小数第 ''n'' 位の数を、第 ''n'' 番目のリシャール文によって定義される実数の小数第 ''n'' 位の数が 0 であれば 1、そうでなければ 0 、として定義される実数
この文は 0 から 1 までの実数をひとつ明確に定義しているのでリシャール文のひとつである。
このリシャール文の番号を ''Q'' とすると、この文によって定義される実数の小数第 ''Q'' 位の数は第 ''Q'' 番目のリシャール文によって定義される実数の小数第 ''Q'' 位の数、つまり自分自身と異なっていなければならない。
これは矛盾である。

なお 誤って'''[[ベリーのパラドックス]]'''がリシャールのパラドックスとして紹介されることがある。

== パラドックスの回避 == 
現在で[[集合論]]の公理系として最も広く用いられている[[公理的集合論|ZFC]]では、「実数を明確に定義する日本語の文」といった概念は数式（論理式）によって表現できない、という理由で回避（取り扱わない）している。

== パラドックスの源泉 ==
リシャールが構成しようとする数をリシャール数と呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（[[循環定義]]）。

今、リシャール文によって順序付けた実数の集合全体をE<sub>1</sub>とする。仮に、E<sub>1</sub>全体が予め確定されていなければ、Rは構成されない。一方、Rが構成されるならば、E<sub>1</sub>全体にRが属することはなく（何故ならば、RはE<sub>1</sub>全体に操作を加えて作られる新たな実数であるから）、E<sub>1</sub>にRを加えた実数の集合E<sub>2</sub>に属することとなる。しかし、実数の集合E<sub>2</sub>に対して、再度リシャール数を構成することができる。それをR’とすると、RとR’は一致しない。R’は実数の集合E<sub>2</sub>にR’を加えたE<sub>3</sub>に属する‥（以下、同様）。つまり、リシャール数はある外延が確定された任意の実数の集合E<sub>n</sub>に対して常に構成可能である。

== 関連項目 ==
* [[ゲーデルの不完全性定理]]
* [[アルゴリズム情報理論]]

[[Category:集合論|りしやあるのはらとつくす]]
[[Category:パラドックス|りしやあるのはらとつくす]]
[[Category:数学に関する記事|りしやあるのはらとつくす]]