http://35.81.54.121/mediawiki/index.php?action=history&feed=atom&title=%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 2026-05-01T12:42:14Z このウィキのこのページに関する変更履歴 MediaWiki 1.25.1 http://35.81.54.121/mediawiki/index.php?title=%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=7410&oldid=prev 2007-06-15T16:03:19Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">←前の版</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">2007年6月15日 (金) 16:03時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="L29" >29行目:</td> <td colspan="2" class="diff-lineno">29行目:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Richard's paradox]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[en:Richard's paradox]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del class="diffchange diffchange-inline">fr</del>:<del class="diffchange diffchange-inline">Paradoxe de Richard]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">*</ins>[[<ins class="diffchange diffchange-inline">wiki</ins>:<ins class="diffchange diffchange-inline">リシャールのパラドックス</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[it:Paradosso di Richard]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[sh:Rišarov paradoks]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[sr:Ришаров парадокс</del>]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> </table>

キリカ http://35.81.54.121/mediawiki/index.php?title=%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9&diff=7409&oldid=prev 2007-06-15T16:02:40Z

<p>http://ja.wikipedia.org/w/index.php?title=リシャールのパラドックス&amp;oldid=12338179</p> <p><b>新規ページ</b></p><div>'''リシャールのパラドックス'''（'''リシャールの逆説'''）は[[パラドックス]]のひとつ。<br /> <br /> 0から1までの[[実数]]をひとつ明確に[[定義]]する日本語の文をリシャール文と呼ぶことにし、このようなリシャール文を全て並べることを考える。<br /> あらゆる正の自然数 ''n'' に対して、字数 ''n'' のリシャール文は有限個(しばしば 0 個)存在する。<br /> よって、リシャール文をその字数の順に、字数が同じもの同士は辞書順に並べることにすれば、あらゆるリシャール文を一列に並べて、自然数で番号付けができる。<br /> <br /> さて、次の文によってある実数を定義する:<br /> :整数部分を 0 とし、小数第 ''n'' 位の数を、第 ''n'' 番目のリシャール文によって定義される実数の小数第 ''n'' 位の数が 0 であれば 1、そうでなければ 0 、として定義される実数<br /> この文は 0 から 1 までの実数をひとつ明確に定義しているのでリシャール文のひとつである。<br /> このリシャール文の番号を ''Q'' とすると、この文によって定義される実数の小数第 ''Q'' 位の数は第 ''Q'' 番目のリシャール文によって定義される実数の小数第 ''Q'' 位の数、つまり自分自身と異なっていなければならない。<br /> これは矛盾である。<br /> <br /> なお 誤って'''[[ベリーのパラドックス]]'''がリシャールのパラドックスとして紹介されることがある。<br /> <br /> == パラドックスの回避 == <br /> 現在で[[集合論]]の公理系として最も広く用いられている[[公理的集合論|ZFC]]では、「実数を明確に定義する日本語の文」といった概念は数式（論理式）によって表現できない、という理由で回避（取り扱わない）している。<br /> <br /> == パラドクスの源泉 ==<br /> リシャールが構成しようとする数をリシャール数と呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（[[循環定義]]）。<br /> <br /> 今、リシャール文によって順序付けた実数の集合全体をE$_1$とする。仮に、E$_1$全体が予め確定されていなければ、Rは構成されない。一方、Rが構成されるならば、E$_1$全体にRが属することはなく（何故ならば、RはE$_1$全体に操作を加えて作られる新たな実数であるから）、E$_1$にRを加えた実数の集合E$_2$に属することとなる。しかし、実数の集合E$_2$に対して、再度リシャール数を構成することができる。それをR’とすると、RとR’は一致しない。R’は実数の集合E$_2$にR’を加えたE$_3$に属する‥（以下、同様）。つまり、リシャール数はある外延が確定された任意の実数の集合E$_n$に対して常に構成可能である。<br /> <br /> == 関連項目 ==<br /> * [[ゲーデルの不完全性定理]]<br /> <br /> [[Category:集合論|りしやあるのはらとつくす]]<br /> [[Category:パラドックス|りしやあるのはらとつくす]]<br /> [[Category:数学に関する記事|りしやあるのはらとつくす]]<br /> <br /> [[en:Richard's paradox]]<br /> [[fr:Paradoxe de Richard]]<br /> [[it:Paradosso di Richard]]<br /> [[sh:Rišarov paradoks]]<br /> [[sr:Ришаров парадокс]]</div>

キリカ