マビノギ

蜂蜜パイ

05/04/25 22:55

今日は駄スレ乱立でスレの流れが異様に早い。
俺もヒマなんでマビのことなんてスッカリ忘れて読書してた。
 
で、ちょっと面白いものを読んだので、チラシ裏行きなんだが
ここに書いてみることにする。全然関係ない話から始まるが、
最後にはちゃんとマビの話に着地するので安心してくれ。
すげえ長文な上に、アタマ痛くなること間違いナシな内容だから、
よっぽどヒマな奴だけ読んでくれ。
 
＊＊＊
 
「素数」が判らない奴はこの板に何人いるだろうか？
素数とは、２、３、５、７、１１、13、17、19・・etc、
【１より大きい数でその数自身と１以外に約数を持たない数】のことだ。
１は素数じゃありませんよーって中学校辺りで習ったような習わないような。
ま、とにかく、そういうのが素数だ。
 
で、この素数って奴は、整数列の中に時折ポンと現れる。
 
最初の２は例外として、次が３。んでその次は（４を飛ばして）５、
その次は（６を飛ばして）７、とﾅｰﾝﾀﾞだいたい１個飛ばしかよ、と思うと、
７の次は（８，９、１０を飛ばして）１１、んで、次は（１２を飛ばして）１３と、一見ランダム。
超ランダム。わけわかんねえ。
 
ちなみに、数字がでかくなってくると、１００万くらいずっと
素数が出てこなくて、またいきなりひょっこり現れたりするらしい。
 
でね、数学者ってのは偉いもんで、こういう一見ランダムなものに
法則性があるのかっつーコトを必死に考えるらしい。つまり、ｎ番目の素数をPｎとしたときに、
Pｎを導き出す公式があるのかないのかっつーことね。
 
そして、ある数学者がその公式を発見した。
 
し　か　し　・・・
 
その公式で計算すると、
 
すげえ時間がかかる上に、順に数えていくよりかえって面倒
 
であることも同時に発見されてしまった。
 
つまりさ、例えば１００番目の素数くらいなら、集中して１個１個潰していけば、
ヒマなときに順を追ってやっていけば、多分２０分くらいでできるんだが、
その公式で素人が計算すると、おそらく２０日くらいかかるというどうしようもない使えなさ。
なんでも論理的に正しけりゃいいってもんじゃないね、という好例。
 
＊＊＊
 
もういっこ、こっちは説明がかなりやっかいな上に、
俺の知能指数じゃ理解できないのでかなりハショるが、
【ゲーテルの不完全性定理】というものがある。
 
とっても有名な定理なんで、数学好きの高校生なら
名前くらいは聞いたことあるんじゃなかろうか。
 
これは、
 
【数学上実際に計算すると正しいと誰もがわかっていても、
それが全ての数において正しいことを絶対に証明できないものもある】
 
ということを数学的に証明した定理だ。
 
例えば、【６以上の偶数は全て２つの素数の和で表せる】という問題がある。
（ゴールドバッハの問題）
 
６＝３＋３、８＝３＋５、１０＝５＋５、１２＝７＋５、１４＝７＋７、１６＝１１＋５・・・・・・
これは一見正しい。どこまで行っても正しいように見える。
 
が、正しいことがいまだ数学的に証明されてない。
 
コンピュータを使ってウン億ウン兆まで計算しても、全部正しい。
でも、なぜ正しいのかは、本日今現在の時点では、世界中の誰も証明できていない。
 
この問題がゲーテルの不完全性定理に該当する【証明できない正しさ】
に該当するのかどうかは、まだわかっていない。ひょっとしたらコレが
そうなのかもしれないし、あるいは明日辺りに超天才がヒョッコリ現れて
サクっと証明してしまうかもしれない。
 
ただ、数学の中には、
【正しいとわかっていても絶対に証明できない問題もある】ということは
既に証明されている。
 
＊＊＊
 
・・・という本を読んだ。
 
なんかさー、こういうの読むと、マビでのマナーがどうとか
他人が先行するDに入ったらどうだとか、真剣に議論するのが
アホらしくなってくるよな。つまり、
 
１　世の中には、仮に正しさが証明できても、
　　それがクソの役にも立たないこともある。
 
２　世の中には、誰もが絶対に正しいだろうと思っていても、
　　絶対に正しさを証明できないものもある。
 
こーいうこと。なんか、こういうの知ると、たまに湧くマナー論争とか、
プレイヤーの言動論争とかって、
 
どーーーーでもいいよんなぁことぁよぉぉぉぉ
 
って気分になってきませんか？
 
俺はなりました。ママーリママーリ。

あ、マナーやルールがどうでもいいって言ってるんじゃないぞ。
ただ、こういうことを知ると、そういうことの是非を真剣に討論するのも
ちょっぴりバカバカしいような、言い様のないおおらかな気分になってきませんか？　
って言ってるだけね。