http://oshiete1.goo.ne.jp/kotaeru.php3?q=708981
の回答11を見て気になりました。
四色問題がコンピュータを使って証明された事に対して
「数学者たちから「コンピュータで証明できたとしても、それを人が確認できなければ本当に『正しい』と言えるのか?」のような反発があり、人が検証できる別の証明方法が考え出された。それによって数学者たちは面目を保った」
というような話を読んだ記憶があります。インターネットは普及していなかった頃なので、本か雑誌だったと思います。
ところが今になってネットで検索しても、それらしい話を見つけられません。真相はどうなんでしょうか?
No.6ベストアンサー
- 回答日時:
min_willさん、今晩は。
何か、話がずれているようですが普通四色問題と言えば、平明地図の話ですよね。
それに関して、私が持っている本から引用します。
「グラフ理論最前線」 秋山仁著、朝倉書店発行
最近RSSTは依然コンピューターに頼らざるを得ないものの幾つかの観点でAppel、Hakenの証明よりも簡単な方法で四色問題の証明を与えた。
RSSTは4人の研究者の頭文字で、その論文は1997年に書かれています。このことからはごく最近まで(多分現在も)コンピューターを使わない4色問題の証明がされていないことが伺えます。
回答ありがとうござます。
この情報はかなり決定的ですね。
となると、私やNo2のpromeさんの見た本は一体……
そして、同じくpromeさんに紹介して頂いた証明の真偽や如何に……
明日にでも本屋に行ってみます。
No.5
- 回答日時:
不確定な情報のあと押しです。
本当は10年後らしいですね。
フェルマーの最終定理より抜粋
ーーーーーー>>
1879年のこと、四半世紀ものあいだ解けなかったこの問題がついに解けたという楽観が高まった。この年、イギリスの数学者アルフレッド・ブレイ・ケンペが「アメリカン・ジャーナル・オブ・マセマティクス」誌に論文を発表し、専門家による審査でその正しさが確かめられたようだった。彼はすぐさま王位協会の会員に選ばれ、ついには数学への貢献によりナイト爵に叙された。ところが1890年、パーシー・ジョン・ヘイウッドの発表した一篇の論文が数学会に影響を与えた。ヘイウッドは、ケンペが問題を解決したことになってから10年後に、その証明に根本的な欠陥があることを明らかにした。そんななかで唯一喜ぶべきことはヘイウッドがその論文で、必要な色は最高でも4色か5色であり、それ以上にはならないと示したことでした。
ーーーーーーー>>
ありがとうございます。
年代から言って私がNo3のお礼で書いた、「その20年の間に書かれた本だったのかも」はありえないってことですね。残念。もしかして質問に書いた「数学者たちは面目を保った」の後に、「と思いきや、その証明は間違っていた」なんて続いていたのかも……。自信無くなって来ました。
以下、余談になりますが。
個人的にはチェスで人がコンピュータに負けても別になんとも思わないですし、そのうち将棋や囲碁でも負ける日が来るでしょう。むしろ「コンピュータがんばれ」と思います。でも、数学の証明をコンピュータが解いた(正確には「手伝わせた」って感じですかね)と聞くと、なんとも言えない気持ち悪さを感じます(ました)。ですので、質問に書いた話を読んだ時には「あぁ良かった良かった」と思いました。でもその話が間違いだったとしたら……あの頃の不安感がよみがえる……っていうような感覚って変ですかね。
No.4
- 回答日時:
面白そうなので、#2 さん紹介ページを見ました。
インドの人なんですね。インド人は数学に強いのですね。書いてある数学は全く理解できないのですが(と云うか、読む気力なし)、一番最後に
24.THEOREM. Any map on the sphere can be properly coloured by using at most four colours.
「球体上の地図は4色以下で彩色できる。」
地図だから球体上なんですね。わたしは平面の問題かと思ってました。 アメリカのヤフーで検索すると、4色問題については結構、色々出てきますね。
No.3
- 回答日時:
No2参考みました。
あ、あるんですね^^; すみません。いいたかったので書き込みしてみます。
現代数学は証明しても認証されるのが、10年20年とかかかるってことを耳にしたことがあります。話題に上がらないのはこれに当てはまるかもしれませんね。
また違うといけないので自信なし;;
再び回答ありがとうございます。
その後No1の回答で登場した「ケンペ」をキーワードに検索していたところ、2チャンネルで
http://science.2ch.net/test/read.cgi/math/979918 …
>ケンペによる“四色問題の証明”は、20年ばかり「持った」んだよね。
>ケンペは「大変な難問を証明した」ってわけでロイヤル=ソサエティの会員に選ばれたそう
>なんだけど、後になって、ヒーウッドにより“証明”に穴があることが発覚してしまった。
という発言を発見しました。2チャンネルというのがちょっとアレですし、内容の確証も取れていないのですが、もしこれが正しければ、その20年の間に書かれた本だったのかもしれません。
ところで「ケンペ」というのは別の日本語読みがあるのでしょうか。googleで「四色問題 ケンペ」で検索しても19件しかヒットしませんでした。
No.2
- 回答日時:
人が証明した四色問題の件は、何かの本で見たことがありました。
確かめようと思い、Googleしたところ、参考URLがヒットしました。ずいぶん以前に知ったサイトですが、なにぶん英文であることと、証明がかなり難しそうなので、読んではいません。興味があれば、一度ご覧ください。
ただこの証明、合ってるんでしょうかねぇ。
合ってるなら、なぜ話題にならないのか疑問です。
参考URL:http://www.geocities.com/dharwadker/
回答ありがとうございます。
>人が証明した四色問題の件は、何かの本で見たことがありました。
うれしいです。記憶違いじゃなかったんだ。
参考URLを見てみましたが、受験数学で止まっている私にはさっぱりでした。
ACKNOWLEDGEMENTSには「Award for Science Excellence」とかいう賞を受けたと書かれているのでそれなりの証明なのかなぁと思ったのですが、同時にYahoo!にもThands toしている辺りが怪しげな感じです。googleでここにリンクしているページを検索しても26件しかヒットしませんし、おっしゃる通り、合ってるかどうか疑問ですね。
この証明が書かれたのは3年前位のようですが、私が読んだのは多分10年以上は昔ですので、証明自体はさらに前のもののはずです。もしかすると、証明されたと思われていたが実は誤りで、正しいと思われていた時に書かれた本だったのかもしれませんね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 倫理・人権 法務大臣の職務の最優先は、冤罪も含めた死刑囚の死刑執行命令を行う事だったんですよね? 3 2022/11/15 09:38
- 大学受験 お急ぎの質問です。 現在高3受験生です。次の金曜日に明治大学総合数理学部(現象数理科)の学部別試験が 3 2023/02/13 23:38
- 政治 法務大臣の職務の最優先は、冤罪も含めた死刑囚の死刑執行命令を行う事だったんですよね? 5 2022/11/11 22:08
- その他(車) プラド 社用車について教えてください。 社用車はローンで買っているので車検証の 所有者 ローン会社 3 2022/07/29 20:32
- 日本語 心証という熟語について 5 2023/04/07 12:42
- 数学 どっちと思いますか 4 2022/10/10 11:16
- 数学 アマチュア数学者について 2 2022/06/08 17:55
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
有理数と無理数が無限個あること
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
rankに関する証明問題です。
-
数学の証明問題で、「証明終了」...
-
無理数って二乗しても有理数に...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
じゃらんで旅行予約をしたので...
-
原始関数の存在性の証明につい...
-
兄弟の子どもの養子縁組は可能...
-
巡回群と巡回群の直積は巡回群?
-
liman=a(n→∞)、limbn=b(n→∞)な...
-
婿養子です、妻と離婚して妻の...
-
大学の二次試験で・・・
-
次元定理以外で
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
数学Aの整数の性質について質問...
-
心霊漫画家で新興宗教団体の教...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報