質問: ゲーデルの不完全性定理を、小学生にも分かるように教えていただきたい 本の中の不完全性定理の説明文で、 >「この命題は証明不能である」 という命題が証明可能であるならば、 この命題の中で主張している「証明不能である」ということと、 それが「証明可能」であるということとは、 「矛盾」していることになる。 とあるのですが、 どうして矛盾しているのでしょうか? (何となくはわかるのですが) 私は、小学生くらいの数学知識しかないので、 命題、証明の意味がよくわかってないのかもしれませんが、 たとえば 未確認物体(宇宙人みたいな)が、草原などにあったと仮定して、 解剖しても今の科学では、この物体は「なにか」わからない。 「この物体は証明不能である」 今の科学では証明不能であるということは、 証明可能なのではないのでしょうか (科学がまだ未発達ということで) ということとは意味が違うのですかね? 自分で書いていても、頭が混乱してきました・・・笑 数学の知識がある人には笑われる質問かも知れませんが、 「小学生(私)には、証明不可能」な問題を、 証明可能な方、教えて頂きたい。・・・笑 お願いします。
回答: まず、「不能(不可能)」という言葉の意味をはっきりさせとかないと、どうにもなりません。 > 今の科学では証明不能であるということは、 > 証明可能なのではないのでしょうか > (科学がまだ未発達ということで) > ということとは意味が違うのですかね? 「意味が違う」はまさしく仰る通り。「不可能」とは「今まで誰もできないし、多分誰がやったって無理だろう」ということではなくて、「未来永劫誰がどうやったって絶対できない」という、はっきりした意味を持っています。 > 命題、証明の意味がよくわかってないのかもしれませんが、 ご明察の通りです。「証明が不可能かどうか」という問いが(比喩や誇張じゃなく)きちんと意味を持つためには、「証明」とは一体何のことなのかがはっきりしていなくちゃなりません。しかし、その説明を理解するのはなかなかに難しい。その難しさは、「証明」とは一体何のことなのかがはっきりしたのはようやく20世紀になってからのことである、という歴史的事実からも推察できるでしょう。 ところで、科学でも「証明」という言葉が使われることがありますけれども、数学で言う証明とは全然違います。 科学では「××という現象(や物体)が現実に存在するのではないかと予想されていたが、まさしくその現象を観察し、客観的に記録することに成功した。この証拠を見ればまず誰も反論できないだろう」というほどの意味で言われます。なので、 > 解剖しても今の科学では、この物体は「なにか」わからない。 > 「この物体は証明不能である」 という言い方はできません。「物体を証明する」は(数学においてはもちろん、科学においても)何の意味も持たないデタラメな言葉です。また、 > 証明可能な方、教えて頂きたい。・・・笑 これらの文章で仰っている「証明」は、正しくは「説明」あるいは「解説」とすべきです。 このように、ご質問を拝見すると、ごく普通の意味での「数学の証明」ですら、それがどういうものであるかまだお分かりでないことが伺われます。まして、「証明が不可能かどうか」を論じる際に必要となる、「証明とは何のことか」を厳密に定めるための理論がお分かりになるとは思えない。この段階で不完全性定理を論じることは無謀でしょう。 いや、理解できないという心配をしてるんではなくて、理解したと誤解しておかしな方向に行っちゃうということが心配なんです。実際、人によっては、無意味な思索に時間を費やすだけならともかく、へんてこな結論を出してそれを(お門違いにも)ジンセイに活用しようとなさったりもする。ことに思想・哲学では、著者が「理解したと誤解しておかしな方向に行っちゃった」トンデモな著作が散見されます。さらに、一般向けの啓蒙書の中にもトンデモな誤解を招きかねないものがまぎれているようなので、要注意です。 かくて、ご質問への回答は控えますが、興味をお持ちなのは大変結構なことですから、最近出た、まずはコレを読め(読まずば語るな)ってぐらいの有り難い本をご紹介しましょう。 岩波文庫(青944-1)「不完全性定理」 この本の最初の2割がゲーデルの論文とその注釈。全然分からないだろうと思います。最初の段落から分からないでしょう。この話を理解するのに必要な背景知識をお持ちでないからで、逆に言えば、何をどれほど学べば分かるようになるかが想像できるのではないか。 後の8割は数学史から見た不完全性定理の位置付けの解説です。こちらは言ってみれば人間のドラマですから、少しはお分かりになると思う。ご覧になって「「証明」とは一体何なのか、そして「数学」とは一体何なのか」はそう簡単には決着しない話である、ってことを感じられたら良いと思います。