- 2026年7月6日
継承
証明の外
序 名前のついた空間
一九五六年の冬、ワシントンの病室で、ジョン・フォン・ノイマンは若い研究者から尋ねられた。
「先生、どうしてあれは、フォン・ノイマン空間とは呼ばれないのですか」
若者は悪気なく笑っていた。
窓の外では、雪が降り始めていた。雪片は一つずつ異なった形をしていたが、遠くから見ると、空も道路も建物の屋根も、同じ白さの中へ沈んでいた。
ノイマンは毛布の上に置いた手を見た。
かつて、黒板一枚分の証明を頭の中だけで組み立てることのできた手だった。いまはコップを持ち上げるだけでも、わずかに震えた。
「私は空間を作ったわけではない」
彼は言った。
「部屋の寸法を測り、床が抜けないようにしただけだ」
「しかし、量子力学に使える形にしたのは先生です」
「名前というものは、正確ではない」
ノイマンは息を継いだ。
「だから、長く残るのだろう」
若者はその言葉を冗談だと思ったらしく、曖昧に笑った。
ノイマンも笑った。
若者が病室を出ると、彼は枕元の引き出しを開けた。
そこには、古びた一通の封筒があった。
宛名はドイツ語で書かれていた。
ダフィット・ヒルベルト教授殿。
消印はなかった。
封もされていなかった。
中の手紙は、一度も送られなかったからである。
一 遅い先生
一九二六年、ゲッティンゲン。
数学研究所の廊下には、いつも石炭とチョークの匂いがした。
冬になると暖房は十分に効かなかった。若い研究者たちは外套を着たまま議論し、黒板の前で手袋を外し、指先を白くしながら数式を書いた。
アンナ・レーヴィは、講義録を清書する仕事をしていた。
正式な助手ではなかった。大学に名簿はなく、給料も研究所からではなく、数人の教授が出し合った金から支払われていた。
アンナは数学を学んでいたが、数学者とは呼ばれていなかった。
彼女自身、それを訂正しようとはしなかった。
数学者かどうかを決めるのは肩書ではなく、何を考えているかだと信じていたからである。
その年の秋、ブダペストから一人の若者がやって来た。
フォン・ノイマン。
まだ二十代前半だった。
最初の日、彼は定刻より遅れて研究会へ現れた。酒場から抜け出してきたような明るい顔をして、椅子に座るなり、隣の学生のノートを覗き込んだ。
「どこまで進みました？」
学生が説明すると、ノイマンは黒板を見上げた。
「そこは、その補題を使わなくても証明できます」
教授が振り向いた。
「どうやって？」
ノイマンは立ち上がり、チョークを取った。
それから数分間、ほとんど止まらずに書いた。
黒板の左端から始まった式は、中央で一度折れ、右端へ到達し、下段へ移った。誰も声を発しなかった。
最後の等号を書き終えると、ノイマンは振り返った。
「以上です」
室内の全員が黒板を見ていた。
ただ一人、ダフィット・ヒルベルトだけは、窓の外を見ていた。
老教授はしばらく黙っていた。
ノイマンは、返答を待った。
十秒。
二十秒。
一分。
アンナには、その沈黙がひどく長く感じられた。
やがてヒルベルトは黒板へ近づいた。
「正しい」
彼は言った。
ノイマンは、わずかに肩を上げた。正しいことなど、最初から知っていたという表情だった。
「ただし」
ヒルベルトは黒板の最初の一行を指した。
「ここで、なぜこの対象を選んだのですか」
「最短だからです」
「何に対して？」
「証明に対して」
「証明は、何に対して最短でなければならないのですか」
ノイマンは答えなかった。
ヒルベルトは黒板の式を、まるで初めて見る風景のように眺めた。
「あなたは、道を走るのが非常に速い」
老教授は言った。
「しかし、ときどき、なぜそこに道があるのかを忘れる」
研究会のあと、アンナは講義録を整理していた。
ノイマンが机の向かいへ座った。
「あの人はいつも、あんなに返事が遅いのですか」
「ヒルベルト先生ですか」
「ほかに誰がいます」
「以前より遅くなられたそうです」
「そうでしょうね」
「でも先生が黙っているとき、私たちが聞いた答えとは別の問題を考えていることがあります」
「便利な説明です」
ノイマンは笑った。
「何も考えていない人にも使える」
アンナはペンを置いた。
「先生を軽蔑しているのですか」
「まさか」
答えは早かった。
その速さが、かえってアンナには不思議だった。
「では尊敬している？」
「尊敬という言葉は曖昧です」
「数学者らしくない返事ですね」
「数学者だからです。曖昧な言葉は、定義するまで使いたくない」
アンナは彼を見た。
ノイマンは窓の向こうを歩いていくヒルベルトの背中を見ていた。
「ただ」
彼は言った。
「私が答えを見つけるより先に、あの人は問題を見つけている」
それ以上は言わなかった。
二 空間
量子力学は、正しい答えを出す不完全な文法だった。
物理学者たちは行列を掛け、微分方程式を解き、意味の定かでない記号を大胆に操作した。
ある計算では粒子は波であり、別の計算では点だった。掛け算の順序を変えると答えが変わり、測定するまで値が定まらないという。
数学者たちには不作法に見えた。
しかし実験は、数学者の不快感に頓着しなかった。
正しくないはずの計算が、正しい結果を出していた。
「それが一番厄介です」
研究所の廊下で、アンナは言った。
「間違っているのに、当たる」
「間違ってはいません」
ノイマンは答えた。
「まだ、何をしているのか分かっていないだけです」
「同じでは？」
「まったく違います。間違った時計も一日に二度は正しい。しかし量子力学は、何度も正しい。ならば、時計ではなく、こちらの時間の定義が間違っている可能性がある」
ノイマンは、物理学者たちが別々の言葉で語っているものを、一つの空間へ入れようとしていた。
波動関数も、行列も、測定も、確率も。
それぞれを個別に修理するのではなく、それらが同じものの異なる表現であることを示す。
「部屋を作るのですか」
アンナが尋ねた。
「部屋？」
「波も行列も入れる部屋です」
「悪くない」
「壁は何でできています？」
「内積です」
「床は？」
「完備性」
「窓は？」
ノイマンは少し考えた。
「観測でしょう」
「扉は？」
「測定すると閉じます」
アンナは笑った。
「変な部屋ですね」
「自然が変なのです。数学はそれを正直に記述しているだけです」
ある午後、ヒルベルトが草稿を読んだ。
紙の余白に、小さな字で訂正を書き込んでいく。ノイマンはその向かいに座り、指で机を叩いていた。
「先生」
ノイマンが言った。
「その点は、後ろで一般化してあります」
「分かっています」
「では、なぜ戻るのです」
「一般化する前の形が、一般化したあとも残っているかを見るためです」
「残っています」
「あなたには見えるでしょう」
ヒルベルトは顔を上げた。
「読者には、あなたの頭は付属していません」
アンナは笑いそうになったが、こらえた。
ノイマンは机を叩くのをやめた。
「読者が遅い場合、どこまで責任を持つべきでしょう」
「最後までです」
「それでは数学が進みません」
「読まれない数学は、進んだことになりますか」
ヒルベルトは再び草稿へ目を落とした。
その日、ノイマンは珍しく言い返さなかった。
夜遅く、アンナが研究所を出ようとすると、講義室の灯りがまだついていた。
ノイマンが一人で黒板を消していた。
「ご自分で消すのですね」
「ときどきは」
「いつも式を残して帰るのに」
「今日は、残したくない式がありました」
アンナは黒板を見た。
半分消された記号の中に、無限次元の空間があった。
「ヒルベルト先生の名前を使うのですか」
「何に？」
「この空間に」
「私が決めることではない」
「でも、そう呼ばれるようになると思っている」
ノイマンは答えず、黒板消しを動かした。
「あなたは先生を超えたいのですか」
「何をもって、超えたことになります？」
「速さ」
「それなら、もう超えている」
ためらいのない答えだった。
「発見の数」
「おそらく、いずれ」
「では何が足りないのですか」
ノイマンは手を止めた。
黒板の中央に、消されずに残った一本の縦線があった。
「ヒルベルト先生は、問題を解いているのではない」
彼は言った。
「何が問題になり得るか、その範囲を変える。私には、まだそれができない」
「いつかできるでしょう」
「いつか、という言葉は数学にはありません」
「人生にはあります」
ノイマンは笑った。
「だから人生は、厳密でない」
三 体系
ヒルベルトは、数学を一つの巨大な建物として考えていた。
幾何学、解析学、数論、集合論。
部屋は異なっていても、土台は一つでなければならない。
土台に亀裂があれば、上階でどれほど美しい定理が証明されても、建物全体は安全ではない。
数学者たちは無限を使っていた。
実際には数え終えることのできない対象を、完成したものとして扱っていた。
集合論には逆説が生まれ、論理の内部には怪物が潜んでいるように見えた。
それでもヒルベルトは、無限を追放しようとはしなかった。
数学者が築いた楽園から、人を追い出してはならない。
必要なのは、楽園が崩壊しないという保証だった。
「すべての数学を形式化する」
ヒルベルトは研究会で言った。
「証明を記号の列として扱い、その記号の操作を有限的に調べる。数学の内部で無限を使っても、数学全体が矛盾しないことは、外側から有限な方法で示せるはずです」
ノイマンは最前列に座っていた。
アンナは後方で記録を取っていた。
「外側とは、どこですか」
誰かが尋ねた。
ヒルベルトは微笑んだ。
「建物が倒れないか確認するために、建物の外へ出る必要はありません。柱を一つずつ調べればよい」
「しかし、その調べ方自体が正しいという保証は？」
「有限な対象についての直観は、疑い得ない」
ノイマンが手を挙げた。
「有限な推論の範囲を、完全に形式化できますか」
「そのために、あなたたちがいるのです」
室内に笑いが起きた。
ノイマンは笑わなかった。
研究会のあと、彼はアンナに言った。
「先生は、ときどき自分が答えられない問いを、仕事として若者へ渡す」
「偉い先生とは、そういうものでは？」
「便利ですね」
「嫌なのですか」
「逆です」
ノイマンの目は輝いていた。
「誰かが、山を指して、登れると言う。実際に登る者にとって、これほど誘惑的なことはない」
「登れなかったら？」
「登れないことを証明します」
「それも成功？」
「もちろん」
アンナは首を振った。
「あなたにとっては、失敗というものが存在しないのですね」
「あります」
「何です？」
「問いが曖昧なことです」
その年、ノイマンは証明論の問題に取り組み続けた。
記号を数字のように扱い、証明の可能性を有限な操作に還元する。
ヒルベルトの壮大な計画の中で、彼は最も速く、最も正確に働く技師のようだった。
アンナは草稿を清書しながら、ときどき思った。
ノイマンは、ヒルベルトの建物を完成させたいのだろうか。
それとも、完成させることによって、もはやヒルベルトを必要としない場所へ行きたいのだろうか。
ある晩、彼女は直接尋ねた。
「建物が完成したら、どうするのですか」
「次の建物を作ります」
「ヒルベルト先生は？」
「先生は、また問題を見つけるでしょう」
「見つけなかったら？」
ノイマンはしばらく答えなかった。
「そのときは」
彼は言った。
「私が見つけなければならない」
四 ケーニヒスベルク
一九三〇年九月。
ケーニヒスベルクには、多くの数学者、論理学者、物理学者、哲学者が集まっていた。
ヒルベルトの生まれた町だった。
彼は引退を迎え、故郷から名誉市民の称号を贈られることになっていた。
街には祝祭の気配があった。
だが会議室の一角で、痩せた若い論理学者が、祝祭とは無関係な声で話していた。
クルト・ゲーデル。
声は小さく、身振りもほとんどなかった。
彼は、自分の結果が数学史を二つに分けることを知らないように見えた。
あるいは、知っているからこそ、感情を排していたのかもしれない。
十分に強い形式体系には、その体系の中で証明も反証もできない命題が存在する。
会場の多くの者は、すぐには意味をつかめなかった。
専門的な新結果の一つとして聞いた者もいた。
ノイマンだけが、発表のあともゲーデルを追った。
「あなたの命題は、体系自身について語っているのですか」
「算術について語っています」
「算術の言葉で、証明について語っている」
「符号化すれば」
「ならば、体系は自分自身の完全性を保証できない」
ゲーデルは、わずかに眉を動かした。
「完全性ではなく――」
「整合性もです」
「その点は、まだ慎重に考える必要があります」
「考えます」
ノイマンはそう言った。
彼の「考えます」は、他人の「いつか研究します」とは違っていた。
すでに頭の中で、証明が始まっていた。
翌日、ヒルベルトは別の会場で講演した。
老数学者の声は、以前ほど強くなかった。
しかし最後の言葉だけは明瞭だった。
我々は知らねばならない。
我々は知るであろう。
拍手が起こった。
ノイマンも席にいた。
前日、ゲーデルの言葉を聞いた耳で、ヒルベルトの言葉を聞いていた。
アンナは数列のように並んだ聴衆の後方から、彼の横顔を見ていた。
ノイマンは拍手をしていた。
表情はいつもと変わらなかった。
講演のあと、アンナは彼を街路で見つけた。
「ヒルベルト先生には話したのですか」
「何を？」
「昨日の発表です」
「先生も会議の報告を読むでしょう」
「あなたからは？」
「まだ、何も確定していない」
「でも、分かったのでしょう」
「何が？」
「先生の計画が、そのままでは完成しないことが」
ノイマンは立ち止まった。
夕方の街には、講演を終えた学者たちの声が響いていた。酒場から音楽が流れ、窓には灯りがつき始めていた。
「あの結果は、数学が終わるという意味ではない」
「そんなことは聞いていません」
「ヒルベルト・プログラムの一つの形式が不可能になるだけです」
「それを先生に言えますか」
「真であるなら、言うべきです」
「では、なぜまだ言わないのです」
ノイマンは歩き始めた。
「真であることと」
彼は言った。
「いつ、誰に、どのように伝えるかは、別の問題です」
「数学者らしくないですね」
「人間の問題ですから」
五 送られなかった手紙
ゲッティンゲンへ戻ったあと、ノイマンはほとんど眠らなかった。
ゲーデルの論証を組み直し、その帰結を追った。
形式体系が十分な算術を含み、矛盾していないなら、その体系は自分自身の無矛盾性を、その内部では証明できない。
ヒルベルトの計画が求めていた保証は、その保証を必要とする体系自身からは得られない。
外へ出なければならない。
しかし外へ出た先の体系もまた、自分自身を保証できない。
さらに外へ出る。
そこも同じである。
建物の安全を確かめるために外へ出ると、そこには別の建物があり、その土台にも保証が必要になる。
ノイマンはゲーデルへ手紙を書いた。
数日後、返事が来た。
ゲーデルもすでに同じ帰結へ到達していた。
ノイマンは優先権を認めた。
躊躇はなかった。
数学的な真理に、個人の見栄を混ぜることを彼は嫌った。
だが、ヒルベルト宛ての手紙は書き終えられなかった。
アンナは、机の上に置かれた草稿を見つけた。
意図して読んだのではない。
清書すべき原稿の束に混ざっていた。
尊敬するヒルベルト先生。
ケーニヒスベルクでゲーデルが発表した結果から、我々がこれまで考えていた有限的な方法によって、十分に強い体系の無矛盾性を証明することは不可能であると思われます。
これは、先生の問題設定が誤っていたことを意味しません。
むしろ――
文章はそこで止まっていた。
「読んだのですか」
背後から声がした。
アンナは振り返った。
ノイマンが立っていた。
「原稿に混ざっていました」
「それは原稿ではない」
「手紙です」
「まだ手紙ではありません。送っていないから」
「送るのですか」
ノイマンは紙を取った。
「必要があれば」
「必要はあるでしょう」
「先生は論文を読めば理解します」
「論文から聞くのと、あなたから聞くのは違います」
「数学的内容は同じです」
「人間的内容は？」
ノイマンは紙を二つに折った。
「そういうものは、証明できない」
「証明できなければ存在しないのですか」
「そんなことは言っていない」
「では書けばいい」
「何を？」
「あなたが、先生の計画を壊したいのではないことを」
ノイマンは笑った。
「壊したのは私ではありません」
「では、壊れたことを最初に理解した人です」
「それは罪ですか」
「いいえ」
アンナは答えた。
「でも、最初に気づいた人には、最初に知らせる責任があるかもしれません」
「責任」
ノイマンは、その言葉を味わうように繰り返した。
「数学にはない概念です」
「だから、あなたは数学以外では困るのですね」
ノイマンは紙をポケットへ入れた。
「先生は、私の慰めを必要としません」
「慰めではありません」
「では？」
「あなたが先生の夢を、どれほど本気で信じていたかを伝えることです」
ノイマンは返事をしなかった。
その夜、彼は手紙を書き直した。
しかし送らなかった。
アンナは、清書を頼まれたときに作ったカーボン複写を、一枚だけ手元に残した。
盗むつもりではなかった。
いつか本人が送ると思っていた。
そのとき処分すればよいと考えていた。
だが、手紙は送られなかった。
六 空になった研究所
一九三三年、規則が変わった。
公職からユダヤ人を排除する法律は、書類の形で研究所へ届いた。
書類は整然としていた。
氏名、出自、在職年数、解任日。
そこには憎悪の言葉はなかった。
だからこそ、アンナには恐ろしかった。
人間を追放するために、怒鳴り声も暴力も必要なかった。
正しい欄に印を付ければよかった。
教授たちが消えた。
講師たちが消えた。
学生たちも消えた。
ある者はイギリスへ行き、ある者はアメリカへ行き、ある者は行き先を決められないまま町を去った。
アンナには、もともと正式な職がなかった。
したがって、正式な解雇通知さえ来なかった。
ある朝、研究所の管理人が彼女を入口で止めた。
「入れてはいけないことになりました」
「誰が決めたのです」
「私は知りません」
「私の机に原稿があります」
「持ってきます」
「自分で取りに行きます」
「できません」
管理人は申し訳なさそうに目を伏せた。
彼は善良な人間だった。
善良な人間が命令を実行していた。
数日後、アンナはヒルベルトの家を訪ねた。
老教授は椅子に座り、窓の外を見ていた。
「先生」
アンナが呼ぶと、彼はゆっくり振り返った。
「レーヴィさん」
「覚えておられますか」
「あなたは、私の講義録の誤植を三つ見つけた」
「五つです」
「そうでしたか」
ヒルベルトは微笑んだ。
机の上には、昔の研究会の写真があった。
そこには、いまではドイツを去った者たちが並んでいた。
「研究所は、どうなりますか」
アンナが尋ねた。
「建物は残るでしょう」
「数学は？」
ヒルベルトは長く黙った。
かつてノイマンを苛立たせた沈黙だった。
いまアンナには、それが思考の遅さではないと分かっていた。
言葉にすれば現実になってしまうことを、言葉にしないための時間だった。
「数学は」
ヒルベルトは言った。
「人間より長く残ります」
「それで十分ですか」
「十分ではありません」
老教授は写真へ手を伸ばした。
「しかし、私たちは数学が残ることを望みながら、人間が消えることを許してしまうことがある」
「先生の責任ではありません」
「責任というものは、証明のようには分配できません」
アンナは驚いた。
それは、かつてノイマンが数学にはないと言った言葉だった。
「フォン・ノイマンから、手紙は来ましたか」
彼女は尋ねた。
「ときどき」
「基礎論については？」
「最近は、ほとんどない」
「ゲーデルの結果について、何か」
ヒルベルトは彼女を見た。
「あなたは、何か知っているのですか」
アンナは鞄の中のカーボン複写を思った。
「いいえ」
彼女は嘘をついた。
ヒルベルトは追及しなかった。
帰り際、彼は言った。
「レーヴィさん」
「はい」
「数学には、証明されない命題があるそうですね」
「そうです」
「人間の関係には、証明されたものがありますか」
アンナは答えられなかった。
「それでも」
ヒルベルトは窓の外へ目を戻した。
「我々は、関係が存在すると信じて生きている」
それが、アンナがヒルベルトと交わした最後の会話になった。
彼女は数週間後、ドイツを出た。
持ち出した鞄の底には、衣服と出生証明書と、送られなかった手紙の複写が入っていた。
七 機械
アメリカへ渡ったノイマンは、多くの新しい問題へ移っていった。
ゲーム。
流体。
爆発。
計算機。
彼は、ヒルベルト・プログラムを忘れたように見えた。
数学全体を無矛盾な体系として保証する仕事から離れ、不完全な情報のもとで人間がどう選択するかを考えた。
完全な証明ではなく、最善の戦略。
無限の理念ではなく、有限な手順。
人間が間違える前に、機械に計算させる方法。
アンナはニューヨークで翻訳と統計の仕事をしていた。
二人が再会したのは、一九三九年のことだった。
学会の廊下で、ノイマンが彼女を見つけた。
「レーヴィさん」
「覚えていたのですね」
「忘れる理由がありません」
「あなたは、必要のないことを忘れる人だと思っていました」
「必要かどうかは、あとで変わります」
二人は喫茶室へ入った。
ノイマンは以前より太り、以前よりよく笑うようになっていた。
話題は戦争へ移った。
「ドイツは、どうなると思います」
アンナが尋ねた。
「予測はできますが、予測に従って行動する人間がいるため、予測そのものが状況を変えます」
「ゲーム理論ですか」
「人生もゲームです。ただし、規則を破る者がいる」
「規則を作る者も」
「その通り」
アンナは彼を見た。
「ヒルベルト先生には、あの手紙を送りましたか」
ノイマンの笑顔が消えた。
「まだ持っているのですか」
「複写を」
「処分してください」
「どうして？」
「もはや数学的価値はない」
「数学的価値のために残したのではありません」
「では何のためです」
「あなたが、先生に言えなかったことの証拠です」
「言わなかったことは、存在しないのと同じです」
「ゲーデルの定理と反対ですね」
ノイマンは黙った。
「証明されないからといって、真でないとは限らないのでしょう」
「されないからと人間の感情を形式体系にたとえるのは危険です」
「でも、あなたは人間を機械にたとえている」
「機械の方が、まだ簡単です」
「ヒルベルト先生を尊敬していたのですか」
アンナは尋ねた。
ノイマンはコーヒーカップを置いた。
「その質問は、何年も前にも受けました」
「答えを聞いていません」
「尊敬していた、と答えれば満足しますか」
「いいえ」
「では、なぜ聞くのです」
「あなた自身が、答えを知らないように見えるからです」
ノイマンは窓の外を見た。
「私は先生より速かった」
「知っています」
「先生が一週間考えることを、私は一時間で理解できた。ときには、先生が最後まで理解しなかったことも、私は理解した」
「ええ」
「しかし先生がいなければ、私は何を一時間で理解すべきか知らなかった」
アンナは何も言わなかった。
「それを尊敬と呼ぶなら」
ノイマンは言った。
「そうなのでしょう」
八 訃報
一九四三年二月、ヒルベルトが死んだ。
知らせは戦争の報告に埋もれて届いた。
ヨーロッパでは毎日、多くの人間が死んでいた。
一人の老数学者の死は、新聞の小さな記事にしかならなかった。
ノイマンは訃報を机に置いた。
その日の午後も、爆発に関する計算を続けた。
衝撃波がどのように広がるか。
物質が、どの温度と圧力で変化するか。
どれだけの距離があれば、人間は生き残れるか。
計算は正確だった。
計算の目的について、方程式は何も語らなかった。
夜、宿舎へ戻ると、アンナから封筒が届いていた。
中には、黄色く変色したカーボン複写が入っていた。
添えられた短い手紙には、こう書かれていた。
先生は、もう読むことができません。
ですから、これはヒルベルト先生のためではなく、あなたのために返します。
あなたが送らなかったという事実も、あなたが書いたという事実も、どちらも消すべきではないと思います。
ノイマンは、若い自分が書いた文章を読んだ。
尊敬するヒルベルト先生。
ケーニヒスベルクでゲーデルが発表した結果から、我々がこれまで考えていた有限的な方法によって、十分に強い体系の無矛盾性を証明することは不可能であると思われます。
これは、先生の問題設定が誤っていたことを意味しません。
むしろ、先生が数学にその根拠を問うたからこそ、数学は自らの限界を語ることができるようになりました。
先生が築こうとした建物は、完成しないかもしれません。
しかし、完成しないことが証明された建物ほど、堅固なものがあるでしょうか。
私は、先生の計画を完成させるつもりでした。
いまは、その不可能性を認めなければなりません。
それでも、私がこれまで取り組んだ仕事のうち、先生の問いから生まれなかったものがどれほどあるか、私には分かりません。
私は先生より速く考えることができます。
しかし先生は、私が考えるべきことを、私より先に考えていました。
それを、先生に伝えておきたいと思います。
最後の一文のあとには、何もなかった。
署名もなかった。
ノイマンは紙を折り、封筒へ戻した。
翌朝、彼は再び計算へ戻った。
だが、その日から、彼は自分の作る機械について、以前とは少し違う考え方をするようになった。
完全な機械を作るのではない。
間違い得る人間が、間違いを少なくするための機械を作る。
すべてを決定できる体系ではなく、決定できない状況でも次の一手を選べる体系を作る。
ヒルベルトの夢を捨てたのではなかった。
夢の置き場所を変えたのである。
九 外側
戦争が終わったあと、アンナはプリンストンを訪れた。
ノイマンの部屋には、数学、物理学、経済学、工学の論文が無秩序に積まれていた。
「ヒルベルト先生なら怒るでしょうね」
アンナが言った。
「先生の机も、あまり整頓されてはいませんでした」
「頭の中は？」
「それは、誰にも分かりません」
ノイマンは黒板に機械の構造を書いていた。
記憶装置。
演算装置。
命令。
データ。
すべてが同じ記憶の中へ置かれる。
「機械が、自分の命令を記憶するのですか」
「そうです」
「自分自身について書かれた記号を、自分で読む」
「ゲーデルを思い出しますか」
「あなたは？」
「いつも」
アンナは驚いた。
「基礎論を捨てたのではなかったのですか」
「研究対象を変えただけです」
「なぜ？」
「すべてを保証する体系が作れないなら、保証なしに動く体系を考える必要がある」
「人間のように」
「人間より、少し単純に」
「でも機械が複雑になれば、いつか自分を完全には理解できなくなるかもしれません」
「その可能性はあります」
「それでも作る？」
「もちろん」
ノイマンは笑った。
「理解できないものを作るのは、人間が最も得意なことです」
アンナは机の上の封筒を見つけた。
あの手紙だった。
「まだ持っているのですね」
「あなたが返したからです」
「燃やさなかった」
「証拠を破壊するのは、科学者の態度ではない」
「何の証拠です？」
「私にも」
ノイマンは少し考えた。
「証明できないものがあった、という証拠です」
「先生への尊敬が？」
「それだけではない」
「では？」
「人間は、自分が何によって作られたかを、完全には記述できない」
ノイマンは黒板の機械を指した。
「この機械についてなら、設計図を書ける。しかし私自身について、同じことはできない。ヒルベルト先生が私の中に何を残したのか、私は計算できない」
「でも、残っていることは分かる」
「それが厄介です」
「美しい、ではなく？」
「美しいという言葉は曖昧です」
「相変わらずですね」
「曖昧だから、長く使われるのでしょう」
十 証明の外
病気が進むと、ノイマンは計算する速度を失っていった。
以前なら一度読めば記憶できた文章を、二度読まなければならなくなった。
二度が三度になった。
ある日、途中まで読んだページの最初へ戻り、自分が何を読んでいたのか分からなくなった。
彼は恐れた。
死よりも、思考できなくなることを恐れた。
アンナが病室を訪ねたとき、ノイマンは窓の外を見ていた。
雪が降っていた。
「ヒルベルト先生のようですね」
アンナが言った。
「何が？」
「返事が遅くなりました」
ノイマンは笑った。
「先生は、こんな気分だったのでしょうか」
「どんな？」
「答えがあることは分かる。しかし、そこへ行く道が見つからない」
「先生は、別の問題を考えていたのかもしれません」
「便利な説明です」
二人は、昔と同じ言葉を交わした。
しばらく沈黙したあと、ノイマンは枕元の封筒を取った。
「これを、どうするべきでしょう」
「私に聞くのですか」
「私は、もう正しい判断を計算できない」
「最初から、計算する問題ではありません」
「では、どうするのです」
「選びます」
「何を基準に？」
「選んだあとで、それを基準にするのです」
「危険な思想です」
「人間は、そうして生きています」
ノイマンは封筒を見た。
「先生には、届きませんでした」
「ええ」
「ならば、失敗した手紙です」
「いいえ」
アンナは言った。
「宛先を間違えたのです」
「誰宛てだったのですか」
「あなたです」
ノイマンは目を閉じた。
雪の落ちる音は聞こえなかった。
世界は静かだった。
「レーヴィさん」
「はい」
「一行、書き加えてください」
アンナは紙とペンを取った。
「何と？」
ノイマンは、ゆっくりと言った。
「先生。完全ではありませんでした」
アンナは書いた。
「続きは？」
「しかし」
彼は息を整えた。
「完全でなかったからこそ、続けることができました」
アンナは、その一文を書き終えた。
「署名は？」
ノイマンは考えた。
長い時間がかかった。
「必要ありません」
「なぜ？」
「誰が書いたかより、誰によって書かれたかの方が重要です」
アンナは手紙を封筒へ戻した。
今度は封をした。
宛名は、昔のままだった。
ダフィット・ヒルベルト教授殿。
届かない相手への手紙。
証明されない関係。
完成しない体系。
それでも、その空間の中で、人は考え続けていた。
数年後、ある大学の講義室で、若い教師が黒板に一本の縦線を引いた。
その両側に、記号を書いた。
「ここで状態は、ヒルベルト空間のベクトルとして表されます」
学生たちはノートを取った。
その中に、ヒルベルトを知る者はいなかった。
ノイマンを知る者も、ほとんどいなかった。
だが、名前のついた空間は開かれていた。
誰もがそこへ入り、計算し、迷い、出ていくことができた。
部屋の寸法は正確だった。
床は抜けなかった。
ただ、なぜその部屋が作られたのかだけは、どの教科書にも完全には書かれていなかった。
それは数学の外にあった。
証明の外にあった。
そして、おそらく人間は、その外側によって支えられていた。
――了