「四色定理」を含む日記 RSS

はてなキーワード: 四色定理とは

2022-12-24

四色定理の新証明

コンピューターを使わず証明できたという論文が出たらしい(未査読

まだ研究してた人いたのか、というのが正直な気持ち

2008-07-26

数学オタが非数学オタの彼女数学世界を軽く紹介するための10題

cf.) http://anond.hatelabo.jp/20080721222220

まあ、どのくらいの数の数学オタがそういう彼女をゲットできるかは別にして、「オタではまったくないんだが、しかし自分のオタ趣味を肯定的に黙認してくれて、その上で全く知らない数学世界とはなんなのか、ちょっとだけ好奇心持ってる」ような、ヲタの都合のいい妄想の中に出てきそうな彼女に、数学のことを紹介するために覚えるべき10の事柄を選んでみたいのだけれど。(要は「脱オタクファッションガイド」の正反対版だな。彼女数学布教するのではなく相互のコミュニケーションの入口として)

あくまで「入口」なので、思考的に過大な負担を伴う21世紀数学七大難問は避けたい。できれば学部レベル、難しくてもマスターレベルにとどめたい。あと、いくら数学的に基礎といっても義務教育を感じすぎるものは避けたい。数学好きが『三平方の定理』は外せないと言っても、それはちょっとさすがになあ、と思う。そういう感じ。

彼女の設定は

数学知識はいわゆる「高校数学」的なものを除けば、テイラー展開程度は使える

理系度も低いが、頭はけっこう良い

という条件で。

まずは俺的に。出した順番は実質的には意味がない。

ブルバキ数学原論ニコラ・ブルバキ

まあ、いきなりここかよとも思うけれど、「ブルバキ以前」を濃縮しきっていて、「ブルバキ以後」を決定づけたという点では外せないんだよなあ。ページも7000以上だし。

ただ、ここでオタトーク全開にしてしまうと、彼女との関係が崩れるかも。

この情報過多な原論について、どれだけさらりと、嫌味にならず濃すぎず、それでいて必要最小限の情報彼女に伝えられるかということは、オタ側の「真のコミュニケーション能力」試験としてはいいタスクだろうと思う。

四色定理(ケネス・アッペル、ウォルフガング・ハーケン)、ケプラー予想(ヨハネス・ケプラー、トマス・ヘールズ)

アレって典型的な「オタクが考える一般人に受け入れられそうな証明(そうオタクが思い込んでいるだけ。実際は全然受け入れられない)」そのもの

という意見には半分賛成・半分反対なのだけれど、それを彼女にぶつけて確かめてみるには一番よさそうな素材なんじゃないのかな。

数学オタとしてはこの二つは“検証”としていいと思うんだけど、率直に言ってどう?」って。

ヒルベルト23の問題(ダフィットヒルベルト

ある種の難問数学オタが持ってる公理への憧憬と、ヒルベルト教授数学オタ的な考証へのこだわりを彼女に紹介するという意味ではいいなと思うのと、それに加えていかにもヒルベルト的な

「証明できないことを証明するカッコよさ」を体現する連続体仮説

公理主義好みジョーク」を体現する物理学公理

の二つをはじめとして、数学オタ好きのする問題をちりばめているのが、紹介してみたい理由。

位相幾何学トポロジー](レオンハルトオイラーカールフリードリヒガウス他)

たぶんこれを見た彼女は「ドーナツだよね」と言ってくれるかもしれないが、そこが狙いといえば狙い。

この系譜の学問がその後生み出されていないこと、これが近代では大人気になったこと、欧州なら定理ラッシュになって、それが日本で花開いてもおかしくはなさそうなのに、日本国内でこういうのが生み出されないこと、なんかを非オタ彼女と話してみたいかな、という妄想的願望。

ナッシュ均衡(ジョン・フォーブスナッシュ

「やっぱりゲーム理論は役に立つものだよね」という話になったときに、そこで選ぶのは「囚人のジレンマ」でもいいのだけれど、そこでこっちを選んだのは、この概念にかけるナッシュの思いが好きだから。

断腸の思いで選びに選んでそれでもパレート効率的ではない、っていうあたりが、どうしても俺の心をつかんでしまうのは、その「部分最適戦略」ということへの諦めきれなさがいかにもオタ的だなあと思えてしまうから。

ナッシュ均衡による戦略を俺自身はダメとは思わないし、もう選択しようがないだろうとは思うけれど、一方でこれがアメリカ旧ソ連だったらきっちり冷戦にしてしまうだろうとも思う。

なのに、各所に頭下げて迷惑かけて部分最適戦略を選んでしまう、というあたり、どうしても「自分の利得を最大化してきたものが捨てられないオタク」としては、たとえナッシュ均衡がそういう概念でなかったとしても、親近感を禁じ得ない。概念自体の一般性と合わせて、そんなことを彼女に話してみたい。

ユークリッド原論(エウクレイデス)

今の若年層でエウクレイデス(ユークリッド)見たことのある人はそんなにいないと思うのだけれど、だから紹介してみたい。

キリスト生誕よりも前の段階で、数論とか初等幾何とかはこの原論で頂点に達していたとも言えて、こういうクオリティ数学書がエジプト紀元前に書かれていたんだよ、というのは、別に俺自身がなんらそこに貢献してなくとも、なんとなく数学好きとしては不思議に誇らしいし、いわゆるマス北野数学者と思ってる彼女には見せてあげたいなと思う。

フェルマーの最終定理ピエール・ド・フェルマーアンドリュー・ワイルズ

フェルマーの最終定理の「設問の単純さ」あるいは「投げっぱなし感」をオタとして教えたい、というお節介焼きから見せる、ということではなくて。

「この余白はそれを書くには狭すぎる」的な感覚数学オタには共通してあるのかなということを感じていて、だからこそアンドリュー・ワイルズの行き着く先はフェルマーの最終定理以外ではあり得なかったとも思う。

「一般化された予想問題を解く」という数学オタの感覚今日さらに強まっているとするなら、その「オタクの気分」の源はフェルマーの最終定理にあったんじゃないか、という、そんな理屈はかけらも口にせずに、単純に楽しんでもらえるかどうかを見てみたい。

ギリシアの三大作図問題(ギリシア時代の数学者たち:詳細不明)

これは地雷だよなあ。地雷が火を噴くか否か、そこのスリルを味わってみたいなあ。

ういういかにも簡単に解けそうな作図をこういうかたちで問題にして、その証明が非オタに受け入れられるか気持ち悪さを誘発するか、というのを見てみたい。

数学ガール(結城浩

9個まではあっさり決まったんだけど10個目は空白でもいいかな、などと思いつつ、便宜的に数学ガールを選んだ。

ブルバキから始まって結城浩で終わるのもそれなりに収まりはいいだろうし、ネット時代以降の数学萌えの先駆けとなった作品でもあるし、紹介する価値はあるのだろうけど、もっと他にいい作品がありそうな気もする。

というわけで、俺のこういう意図にそって、もっといい10個目はこんなのどうよ、というのがあったら教えてください。

「駄目だこの増田は。俺がちゃんとしたリストを作ってやる」というのは大歓迎。

こういう試みそのものに関する意見も聞けたら嬉しい。

 
ログイン ユーザー登録
ようこそ ゲスト さん