知られざる数

「100」や「1000」は有名な数だ。100円玉とか1000円札とかあるし。0や1や2や3や4や5……なんかは、超有名な数。100くらいまではそうかも知れないけど、たとえば「352」とか「587」は、「10000」「100000000（1億）」なんかに比べても、有名度は落ちるかも知れない。他にも有名な数はいろいろある。「1億2千万」「16777216」「46億」「6433」「6502」「801」「573」「666」「8844.43」「2012」「4575832618」「144000」「5085635」「142857」「299792458」「10の80乗」「10のマイナス32乗」などなどなどなど。

では、「85625190267534702」はどうだろうか。有史以来、人類がこの数を目にするのは今日が初めてのはずである。いや、ビッグバン以来、137億年前の宇宙開闢以来、その内に存在する知的生命体がこの数を認識するのはこの瞬間が初めて、と言ってもおそらく問題はないだろう。少なくともGoogleで検索しても出てこない。もちろんこの数はわたしが先ほどキーボードを適当に叩いて作り出したものだ。この数は、存在する、と言える。ここに書かれているし、あなたがいままさに見ている。「100」や「1000」という数が存在すると言えるなら、同じように存在する。イデアとしての「100」や「1000」は存在するのかどうか知らないが、具象としての100円玉や1000円札が存在するように、「この文章に書かれた数」として「85625190267534702」は存在を開始した。しかしこの数はほんの一例（まさに一例）に過ぎない。このような、未だ人の目に一度も触れたことのない「知られざる数」は、それこそ無限に考えることができるはずだ。

それらの知られざる数は、「存在する」と言えるのか？ 「ある」と言えるのだろうか？ 人間の目がまだ触れない数で世界は充ち満ちている、ということなのだろうか？ そもそも「存在する」とはどういうことか？ あなたは何をもってなにかが「存在する」と言うのか？ 存在するものは、時空間内に一定の領域を占有するはずなのではないか？ では「知られざる数」はどこに存在するのか？ 「100」や「1000」や「85625190267534702」は存在する。100円玉や1000円札が存在するし、「85625190267534702」という数はいままさに、世界のあちらこちらのコンピュータのハードディスクに記録され始め、現実界への浸透を開始した（やがてGoogleで検索できるようになる）。このように「存在する」ものは、世界の中になにか足掛かりを持たなくてはならないはずだ。そう考えれば、幸運にも現実界へ現れ出でることができた「85625190267534702」の仲間の無数の顧みられざる数たちは、少なくとも「85625190267534702」と同じようなモードで存在しているわけではない、と言えるだろう。

宇宙内の原子の数はたかだか「10の80乗」個程度である、と言われている。当然だが有限である。これらの原子を全て、数を表現することのためだけに使ったとしても、無限に考えられる「知られざる数」たちのカケラも書き表すことはできないだろう。ましてや、実数全体は非可算（＝数えることができない（ほど大きい、と言える））だ。それらの数は、ただ全体的な概念（「まだ人の目に触れたことのない数」「実数全体」といった）が存在するのみで、ひとつひとつの個別の数としては、少なくともこの物理宇宙内には存在していないということだろう（ではどこかに存在するのかどうか、は知らない）。

同じように、全体的概念としての円周率は存在するが、有限である「計算済みの部分」と無限に残っている「未計算の部分」は、その存在様式が違う、と言えるだろう。計算済みの部分（1兆2411億桁）はどこかの大学の計算機室のハードディスクに保存されているだろうが（10進で表現してもたったの1.2TBなので、秋葉原で300GBのハードディスクを買ってくれば4万円ちょっとで収まる）、未計算の部分は、計算済みの部分と同じような形では存在しない、実際に計算されるまでは存在しないのだ。いきなり「じゃ、2兆桁目の数字を教えて？」と聞かれても、それは誰もわからない、1桁1桁計算を続けた結果2兆桁目に辿りつくまでは、ただ概念として存在するのみで、具体的な数字としては存在しないのだ。計算された数字、人の目に触れられるように表現された数字のみがこの世界内に存在を始める。計算された部分から先は崖っぷちであり、計算することこそがリアルを押し広げる行為なのだ。

というわけで、円周率の未計算の部分の数字は「存在しない」のです。以上、「騙されるな！円周率に自由意思があるなんて与太話もいいところじゃないのかなぁ」でした。（ちなみに「314159265358」という数字すら、計算済みの部分に1回出てくるだけらしいです）

あついあつい神保町→秋葉日記

あついあついあついだるいあついあつい、と思っているうちに空が暗くなって雷が鳴り土砂降りになってきたので、今日はもう出かけるのやめようかな、ととりあえずシャワーを浴びている間に明るくなったので、神保町へ。しかし暑い。いつものように巡回して、今日こそは餃子をいただかん、と天鴻餃子房へ。やっぱりおいしい。あんまりうまいので中盛りを頼んでしまうのだけど、あきらかに食べ過ぎである。次からは普通盛りにしようと思う。ちなみに休日の食事はこんなふうにだいたい外食1回で終わりだ。あとネットを見ながらお菓子をつまむくらい。

中盛りを食べると動けなくなるので、ブレンツコーヒーで休む。まだ読んでなかった吾妻ひでお氏のうつうつひでお日記を読む。面白かった。というか吾妻さんは本と漫画を読みすぎである。1日2冊は本を読んでいる、と書いてあった。そして（少ないとはいえ）仕事ももちろんする。これで「駄目だ…」とか仰ってるんなら自分などどうしたらいいのか、と思った。あとカットに描かれてる女の子がいちいち可愛い（と思うんですが）。他の漫画家さんの模写とかもあって面白い。

そしてやめとけばよかったような気もするのだけどいつものように歩いて秋葉へ。ひたすら暑い。それはなんの巡礼なのか。汗だくだくだったのでサッと廻りパッと帰ってきた。そしてまたシャワーを浴びてさっぱりして今これ書いてます。

今日買ったものは？

リボルテックヤマグチ No.06 EVA弐号機

キングゲイナーのほうもなかなかデザインがユニークだと思ったけど、アニメ見てないんで買わなかった。とりあえずエヴァシリーズだけかなぁ、と思ったら、なーんと10月の発売予定に「ブラックラグーン“レヴィ”」が！！ ちょwww1万体予約したwwwww （嘘

こどものじかん 2 (アクションコミックス)

やぁ、素晴らしいですね。ものすごくツボを心得てらっしゃる。作者女のひとのせいか、作中の女の子たちの服装が毎回毎回毎回毎回変わるのがとてもたのしみ。そして、とらのあな配布のペーパーによるとりんのフィギュアが出るらしい。

in your life(初回限定盤)(DVD付)

I'veのクリエイター連のひとり、C.G mix氏のソロ。みょーん、ちょっと微妙だった。アマゾンのレビュー参照。

ゼロからの論証

目次に騙されるようにして買った。つーか出版社連は、新刊の目次だけをRSSで配信することを考えたらいいと思うよ？
オビ。

この社会と自然界を取り巻くいろんな制約を、ミウラ式で注意深く相対化。論理抜きの不毛な議論、矛盾をつかないぬるい展開…。水掛け論に陥らない思考で解決できれば、論証力もステップアップ。世俗的な疑問から始まり、宇宙をめぐる超思弁的テーマで終わる、難易度別の5段階編成。

本文目次。

stage1 - カテゴリー
1-1 3000年誘致計画
1-2 「差別語」ということば
stage2 - 隠れた前提
2-1 身体交換とフェミニズム
2-2 女の惨死 - フィクションと現実の断層から
2-3 他者、言語、制度 - SF的想像力と言語規制
stage3 - メタレベル
3-1 シミュレーションが現実を虚構色に染め上げる（比喩ではない！）
3-2 オメガ点理論とシミュレーション・ゲーム - 不死の人間原理的解釈
3-3 ファンタジーとしての〈私の宇宙〉 - 虚構の美的選択、自己の観測選択
3-4 虚構 fiction
stage4 - バイアス
4-1 ニュートン・アインシュタインをダーウィン化する
4-2 自然選択説が選択する、不自然な自然選択
stage5 - 主観確率
5-1 観測選択効果と多宇宙説 - 「逆ギャンブラーの誤謬」の誤謬
5-2 人間原理的推論における「この宇宙」
5-3 「強い人間原理」のための8つの要請