ぼやき
「不完全性定理について2（2009/05/30)」
（以前の続きから）
さて次の命題としてZFCシステムの無矛盾性の証明に数学者達はとりかかりました。
ただこれがもの凄く難儀な作業。
なにしろZFCの9つの公理は数学の最も基礎であるもので、これ以上後ろに
下がりようがないので
「ZFC、すなわち基本9つの公理間がお互いに矛盾しない事の証明」自体を
同9つの定理の中から行わなければなりません。
例え話をします。
私が「私は嘘をついていない」と言うとします。
これは果たして本当に嘘をついていないのか、
または嘘をついた上で『私は嘘をつかない』と言っているだけなのか
他人にはわかりませんので
今もの凄い懐疑の眼で見られています。
そこで私は私自身が私の言明の中で
「私は本当に嘘をついていない」事をなんとか他人に納得してもらわなければなりません。
本当にそんな事できるんでしょうか？
「私は嘘をついていない ← なぜなら○○だからだ！」
と言い出しても○○の部分が嘘か本当かどうかわからないので
これでは証拠になりません。
次に
「○○は本当だ ← なぜなら△△だからだ！」
と言い出しても△△の部分がまた嘘か本当かわからないので
これも同じく証拠になりません。
この手順でいくら新しい□□を取り出して弁明を続けてもキリがありません。
かと言って
「△△は本当だ ← なぜなら私は嘘をついていないからだ！」
などと最初に戻ってループしても最初の言明の真偽が不確かなので
これも無効となりさっぱり埒があきません。
・・・悪い予感がしますね。(^^;
永遠に堂々巡りです。
むしろこんな泥沼な状況で「自分自身の正しさを証明できてしまう」方がおかしいんじゃないでしょうか。
その通り！
「自分自身の中から、自分自身の正しさを証明できる」ような自己完結的な論法はないんです。
ゲーデルと言う数学者がこれを厳密な形で数学的に証明し、
そして「不完全性定理」を提示しました。
不完全性定理によれば
「もしある公理集合Sが存在し、Sの中からS自身の無矛盾性の証明を行えたなら、Sは矛盾を含む。」
が成立します。
これの対偶を取れば（「A→B」の対偶は「否定B→否定A」。元の命題とその対偶は同価値で真偽は常に一致する。）
「矛盾を含まないSは、Sの中からS自身の無矛盾性の証明を行えない。」であり
これがずばり長門の言っていた
「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できない」の事です。
悲しいかな。（＋_＋）
儚くも数学基礎を絶対にするZFC自己完結無矛盾性証明の夢は破れました。
（当たり前ですが）数学の基礎として使える公理体系は矛盾を含んでいてはなりません。
皮肉な事にもしZFCが数学の基礎として通用する、すなわち矛盾を含まない完璧な理論であるなら
不完全性定理によりZFCは己の無矛盾性証明を原理的に証明できないと
証明されてしまったのです。
（仮にできてしまったとしたらZFCは矛盾を孕むのでその瞬間ゴミと化します）
なので現在の数学界ではZFCが数学全ての基礎となる大前提の公理とされながらも、
ZFCのどこかに矛盾をはらむかどうかは今もってしても誰にもわかっていません。
（いや、証明する方法がないわけではないです。
しかしそれにはZFCより強力な公理体系、仮にZZZとでも呼ぶ物を持ち出せば
ZZZの中からZFCの無矛盾性は証明できます。
でもその場合に今度はZZZの無矛盾性証明が未完了になり、
ZZZの無矛盾性が証明されない事にはZZZ→ZFCの証明も本当に正しいかわからないので
問題を一つ外に動かしただけであまり意味がないんですね。(^^;
じゃあ新しいZZZZZを持ち出してZZZZZ→ZZZを証明しても、今度はZZZZZの無矛盾証明が未完了になり・・・はわわ）
--------------------------------------------------------
最後に誤解のないようにちょっと弁明しておきますが
ZFCの無矛盾性が証明されていないからと言って
ZFCが無意味、または今の数学に意味がないって事ではありません。また。
ZFC無矛盾性の証明がZFCの中からは書けないだけで、
ZFCの無矛盾性の真偽とは別の問題です。
あくまで人間に証明されていないだけで、（神の立場？から見て）それでも依然正しい命題という物は存在します。
ZFCが正しい事は証明されていません。
しかし同時に間違っている事も誰も証明していません。
結局の所真偽はまだわかっていないグレー状態ですが
世界中の全人類が何千年かけて数学を学んでもいまだ誰一人として矛盾を発見していない時点で
99.999999999999999999999999％白と言えるでしょう。
おそらく無矛盾です。少なくともいまの所。
ある日誰かがZFCのほころびを見つけて「矛盾が見つかったぞ！」と声高々に叫べば
ZFC・数学の全てが突然として崩壊しますが
その日がいつ来るのか、または永遠に来ないか誰にもわかりません。
今までに勉強した事を全て修正する面倒な事になるので
個人的な気持ちとして来ないでくれと私は願いたい物ですが。(^^;
「不完全性定理について（2009/05/29)」
最近公開されたアニメ涼宮ハルヒの憂鬱の新作エピソードで長門が
「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから」と喋っていて
ちょっと気になったので説明してみたいと思います。
これは数学で言う「不完全性定理」と呼ばれる理論で
結論から言うと確かに「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できない」の
事であり、
ええ確かに正しいです。
ここは私の好きなジャンルですしちょっと説明してみましょうか。
（逆に最近話題になったポアンカレ予想とかあっちのジャンルはさっぱりわかりません。
空間が絡む物は本当に苦手です。幾何学も無理無理。本気でできない自信あります。
小学校の頃でも「角度」の概念に他の生徒より戸惑ってた記憶があって
昔から立体や空間などに対する認識力は一般人より多分劣っていました。^^;）
さて数学で言う「公理」とは「証明なしに成立すると約束された」超基本ルールの事です。
例えば「全ての実数はプラスか、マイナスか、または0である。」みたいな。
・・・当たり前ですね。
誰がどうやって反論出来るのでしょう。
少なくとも私はプラス、マイナス、0以外の実数はちょっと考えられません。
またあまりにも当たり前すぎて「自明」と言うほかに証明する方法も思い浮かびません。
これが大事。あまりにも単純すぎて自明。これ以上は遡りようがないので
「よし！」としてしまう数学の一番基本ルールです。
逆になにが公理ではないかと言うと例えば
「全ての実数は二乗すると0またはプラスである」のような事柄です。
これも自明に近い事柄ですが公理ではありません。
なぜならこれは上記の公理、「全ての実数はプラスか、マイナスか、または0である。」を使えば
1．公理：全ての実数はプラスか、マイナスか、または0である
2．展開：・プラスの場合 → 二乗したらプラスになる。
・マイナスの場合 → 二乗したらプラスになる。
・0の場合 → 二乗したら0になる。
3．結論：全てのケースを考慮して実数は二乗すると0またはプラスになる事が証明された。
このように他の公理で証明できる物は公理ではありません。
公理的集合論とは数学を分析し、分解し、全ての理論を遡ってゆくと
最終的にどのような公理が残るかを調べるジャンルと思ってください。
現在では一般的にZFC(Zenon-Frankel＋選択公理）と呼ばれるシステムがメジャーで
数学におけるほぼ全ての基本的な事柄は僅か9つの公理に還元される事がわかりました。
（注：あくまで基本的に。数学の各専門ジャンルに入ればいくらでも追加される公理は出てきます。）
（さらに注：実際は歴史的背景により後で追加されたりして多少内容の重複した公理もあるので
スリム化すればあともうちょっと減らせますが意味的にもわかりやすいので通常は9つとします。）
少なくとも自然数・小数・実数・複素数、そして四則演算、集合論など
数学を構成する基本理論は全てはこの9つの公理からの派生であり
たった9つの公理から全ての理論は発展してゆくのです。
・・・・だがそこに疑問が。
果たして、その土台は安全か？
おそらく各個別の公理はあまりにも自明すぎて絶対に正しい・・・と思われます。
それはほぼ疑いようがありません。（なぜなら自明すぎて）
ただしかしそれら公理を複数組み合わせて何百万・何千万・何億回も
寄り合わせて展開し複雑な理論を形成して行った時に
どこかで「あっ！ 公理Aと公理Bは矛盾する内容を含んでいた！！」のような事態が発生するかも知れません。
各公理がそれぞれが正しいとしても
各公理間で矛盾した内容が含まれていないかは別の問題なので
実はけっこー危ういのです。
もうちょっと注意深く研究を進めなければなりません。
よってZFCが確立された後は次のステップとして
ZFCシステムの無矛盾性の証明に数学者達はとりかかりました。
これが発展して数学史上最も偉大な発見の一つと思われる（個人的ランキング）
「不完全性定理」の発見に繋がりました。
長くなりそうなので残りは次回に。(^^;
「ブックオフでラッキー（2009/05/27)」
ブックオフの通販で本を買ったらその内の一冊が「品質の不良」が発見されたとかで
その本の代金分は無料になってました。
届いた実物を見てみると確かにカバーの一部に2cmほどの破れが走ってます。
通常の中古本ならこういうのは値引きされて安くなるもんですが
通販の性質上
ブックオフ：ごめん、不良品でした。品質不良の代わりに値引きしすがこの条件でどうしますか？
→私：続行/キャンセル
→ブックオフ：修正した条件で再発送
みたいなやりとりをメールですれば納品が大幅に遅れて
顧客（私）の不都合になるとの判断から
もう無料でいいから納期を守るためそのまま送ってしまえと言う事にしたんでしょう。
個人的にこの程度の破れは全く気にしませんし
（仮に満足しなかったとしたらもう一冊買い直せばいいだけの話）
痛み付きとはいえ一冊丸々ただで手には入ってラッキーでした。
「ぷよぷよ勉強会（2009/05/23)」
ぷよぷよで最近は先付けの練習してます。
先付けってのは他に適切な言葉が見つからなかったので私が今作った造語なんですが・・・
連鎖頭のさらに前に連鎖を組み始めることです。
例えば
○
○△
×○
×○
の状況でツモに□□が来た場合に
○
○△
×○ □
×○ □
とか置いておいてその後△を拾った時に
○△
○△□
×○△□
×○△□
のようにして、前・後・中の変則的な順番に連鎖を作る手段です。
（実戦じゃこんなゾロ依存になるような不安定な置き方はありませんが考え方の例えとして）
なぜこんな事をするかと言うと二段目の組み方に関わってくるんです。
一段目を組んでるときの非・連鎖頭ぷよは全部連鎖尾に廻せるのですが
|△○
|△△○□←ここへ
|○○×□←
￣￣￣￣
二段目に入って連鎖尾に置くところがなくなった時に始めて
この問題に気づきました。
小さい事に見えて我ながら結構な進歩。
連鎖頭（0地点）と連鎖尾（マイナス方向）を考える事はあっても
連鎖頭の先（プラス方向）まで考えた事はなかった。
また例を挙げると今の状況がこうだとすると
○
○△
×○？
×○？？
次に置く場所は連鎖頭の真横、ブロックにすると？の3ブロックしか見てなくて
？に入らないぷよは連鎖尾か、連鎖尾をこれ以上足せないなら連鎖尾同色につけて威力増し、
またはゴミにして捨てるかしてました（どれもうまくやらないと効率ロス＆苦しい形になる）。
これが先付けになると
○
○△？？
×○？？
×○？？
今の2連鎖先、6ブロックぐらいまで先を想定して積みに行くので
受けが広くなり新しい活用場所ができたのです。
さらに連鎖頭を潰さないので緊急発火も残しておけるし、
あと他にはゾロが来たら二段目折り返しを先に作っておくとか、
分離して別の潰し用連鎖を仕込んでおくとか、
活用次第で展開が見違えるぐらい広くなる。
これは本当に便利！
「マッスル行進曲（2009/05/19)」
ナムコがWiiWareで発売予定の「マッスル行進曲」プロモーションビデオが
面白すぎて何十回も見直してます。
Wii持ってないけどこれは買いたい。（笑）
800ポイント分は十分楽しませてもらいました。
「アニーのアトリエ（2009/05/16)」
やっとこのゲームのプレイの仕方がわかってきた。
最初はノベルゲー形式の「日常の中でフラグを立てる選択肢を模索してベストエンドを目指す」
だと思っていたのですがどうも少し違うようです。
何回チャレンジしても毎度バッドに近いエンディングになってしまいます。
4周目が終わって5周目に入った時点で(会話スキップを使えば1〜2時間で一周終わる)
ようやくシステムを理解しました。
そうだ。これはノベルゲーにあらず。
むしろ育成シミュレーションゲームです。
ゲーム内にアイテム度・リゾート発展度・資金度・錬金レベル度・戦闘レベル度・イベント制覇度・友達度
などのパラメーターが存在していて、
プレイヤーはスタートからゲーム時間終了までの3年間＝36ヶ月＝1080日＝1080ターンの限られた
時間をうまく割り振ってベストエンディングにかせられた
「〜度を○○以上」条件クリアを目指すゲームなのだと。
しかも数値条件やイベントフラグがシビアでなんとなくプレイじゃ
ベストエンドへは絶対にたどり着けません。
予想してたよりも手強い。
見た目に反してかなりえげつないぞ。
普通にプレイしてたんじゃグッドエンドさえ達成不可能。(^^;
そっちがその気ならやってやろうじゃないか。
「ぷよぷよ勉強会（2009/05/10)」
凝視、やっぱ難しいか。(^^;
一応敵のフィールドはちらほら見てるんですけど
肝心の連鎖が読めません。
最大の問題は敵の発火点がわからない。
GTRとかわかりやすいのを組んでくれたら伸びてる先頭が発火点だってわかるんですが
それ以外の形だとどこから発火してくるかさっぱり。
発火点がわからない事には連鎖が読めず、
何を狙ってるかもわからなくなるので戦略的な効果はほとんど無し。
まさに「ただ見れるようになった」悲しい状況。(-_-;
こればっかしは今後の練習で習得してゆくしかないかぁ。
しかしそれよりレベルは低いですが「敵の連鎖後凝視」を覚えました。
敵の発火後に凝視を使うんです。
これなら発火点がわかってるので迷うことありません。
そして自分のフィールドを組みながら、同時に敵は何連鎖あるのかを凝視で数えながら、
・潰しが来てる → 今すぐ発火返し
・こっちの連鎖より弱い → 今すぐ発火返し
・こっちの連鎖より強い → 上回るまで伸ばす
などの対策を切り替えます。
とにもかくにも敵の連鎖が終わる寸前まで伸ばすって事で。
これでも実際に運用するには成功率低いのでなかなか実用になってませんが
もしマスターすれば後出しジャンケンになりかなりの優位が取れるはずです。
「薔薇嬢のキス（2009/05/05)」
薔薇嬢のキス第一巻を購入。
一応少女漫画ですが(^^;
漫画に垣根無し。気にすることはありません。（爆）
作者の硝音あやさんを知ったのは去年の2008年の4月に買った「Epitaph」ですねー。
この時から綺麗な絵を描く人だと思って今回も指名買い。
おー、わんだふる！
「アニーのアトリエ（2009/05/02)」
DSのアニーのアトリエ購入。
シリーズ結構出てるのでそれなりに人気あるんだろうなと
一度やってみたかった。初挑戦です。
電源入れてレッツプレイ。
・・・・いきなり困った。何していいかわかりません。
これをクリアしろ！みたいな明確なミッションがない。
いやそれどころかゲームオーバーさえない。
いったい何をすればいいんだか本当にわからん・・・；ﾟдﾟ)
とりあえず適当にぶらぶらしますか。(^^;
2009年04月の日記
最新の日記