ホワット・ア・ワンダフル・ワールド メタマス！

字面だけ見ると 「ラブひな ！」 に響きが似てますが，超数学 (メタマセマティクス) のことです (ギャグがいちいち古い管理人) メタマス! - オメガをめぐる数学の冒険 (via 最上の日々 10月22日（月） ▼ チャイティンの「 メタマス 」（白洋社）を読んでいるところ。) ちなみに，現在わたしは風邪で寝込んでいて，寝床でちょっと読んでました．昨日も寝込んでたので，たまたま普段はみないテレビの NHK スペシャル，100年の難問はなぜ解けたのか〜天才数学者 失踪の謎〜 を見て，数学熱が再燃したというのもあります． よりによってこんな変な時間に目が覚めてしまい，眠れなくなってしまったので，非常にぽわーんとした頭でこれを書いてます．日本語がおかしいかもしれない． まだ本論 (本全体 300 ページ中，200 ページぐらい．残りは作者の論文が付録として 2 つ付いてる) の半分ぐらいしか読

[takado]

「ランダム性の定式化に，それを生成するためのプログラムのサイズという概念を用いたのが斬新だと思いました．よく構造化された問題を出力するプログラムは，非常に短くなります．しかし，完全にランダムな問題を出

[Muichkine]

＞完璧な証明などというものは存在しない，数学の証明とは，小説や絵画など，他の芸術作品と同様に，数学者の精神の結晶であり，数学者の数だけ個性があるのだ，と．

[ogijun]

あとで読む