Turing's Cathedral

【Turing's Cathedral】

スモーリンの"Einstein's Unfinished Revolution" にダイソンがエンドースを寄せてた。そのタイトルが面白そうだったので読み始める。タイトルは、"Turing's Cathedral"

（スモーリンの本が出た時、僕が書いたブログは、こちら。"Bohmian Rapsody"
 https://maruyama097.blogspot.com/2019/05/bohmian-rhapsody.html )

読み始めてすぐに間違いに気づく。この本の著者は、僕が知っている 物理学者のダイソン(Freeman Dyson)ではなく、別のダイソン(Ggeorge Dyson)だった。もっとも、著者のGeorge DysonはFreeman Dysonの息子さんだった。

同じような間違いをしたことがある。チッパラとともに、Deep Specificationのムーブメントの中心人物の一人は、アッペルだったのだが、僕は、このアッペルをしばらくのあいだ、「四色問題」をコンピュータで解いた、アッペル＝ハーケンのアッペルだと思っていた。Deep Specification のアッペル（Andrew Appel）は、「四色問題」のアッペル(Kenneth Appel )の、息子さんだった。

ちなみに、"Q is for Quantum" を書いた、Terry Rudolphは、シュレジンガーのお孫さんだという。

話を、"Turing's Cathedral" に戻そう。

この本は、チューリングについての本ではなかった。フォン・ノイマンについての本だ。1947年から1951年にかけて、当時プリンストンにいたフォン・ノイマンは、MANIACというコンピュータを作り上げるプロジェクトを主導する。

フォン・ノイマンが作ったこのIAS(Institute for Advanced Study)＝プリンストン)製のコンピュータが、どのような動機で開発されたか、また、それがその後のコンピュータ技術の発展に大きな役割を果たしたことを詳述したものだ。

（"MANIAC"でぐぐると、ロス・アラモスのマシンが出てくるのだが、それは、プリンストンで作られたこのマシンをコピーしたものらしい。なぜ、ロス・アラモスかについては後で述べる）

フォン・ノイマンの1945年の"First Draft of a Report on the EDVAC”は有名だが、それは未完の報告書で、実際につくられた最初の「フォン・ノイマン・マシン」は、このIASマシンだという。

フォン・ノイマンは、1936年のチューリングの「万能チューリングマシン」論文の意義を誰よりも早く理解していた。ただ、著者によれば、コンピュータの旧約聖書はライプニッツが書き、新約聖書はフォン・ノイマンが書いたという。チューリングは、その中間にいると。

この本が興味深いのは、フォン・ノイマンのコンピュータ開発にかける情熱は、彼の核爆弾開発の情熱と一体であったという視点である。プリンストンのMANIACがロス・アラモスに移されたのは、そのためである。

キューブリックの「博士の異常な愛情 または私は如何にして心配するのを止めて水爆を愛するようになったか」のモデルが、フォン・ノイマンであることは知っていたのだが、そのフォン・ノイマンと、EDVAC Reportのフォン・ノイマンとは、僕の中ではあまり密には結び付いてはいなかった。

著者は言う。

「人類が発明した、最も破壊的なものと最も建設的なものが、正確に同じ時期に現れたのは、偶然ではない。」

そのことは、プリンストンでのMANIAC開発の経緯を見ればわかるということだ。MANIAC、フォン・ノイマンの「狂気のマシン」だったのかも。

もっとも、それに続けて著者が言う次のような主張には、あまり、同意できないのだが。

"Only the collective intelligence of computers could save us from the destructive powers of the weapons they had allowed us to invent."

"the collective intelligence of computers" ではなく、"the collective intelligence of human being" だと思うのだが。




コメント

コメントを投稿

このブログの人気の投稿

マルレク・ネット「エントロピーと情報理論」公開しました。

イメージ
前回の秋葉原でのマルレクのネット配信が始まりました。 https://crash.academy/class/156 タイトルを「エントロピーと情報理論 -- 量子情報理論入門 -- 」に変更しました。最初の30分は、無料です。 次回のマルレク「量子コンピュータとは何か？」の導入となるコンテンツです。 講演資料は、こちらです。 https://goo.gl/CKayix  あわせて、ご利用ください。 　　　--------------------------------- 　　　マルレク・ネット　ビデオ・コンテンツ　 　　　--------------------------------- 　「エントロピーと情報理論」 　　　　 https://crash.academy/class/156 　「人工知能の歴史を振り返る」 　　　　 https://crash.academy/class/139/ 　「ニューラル・コンピューターとは何か？」 　　　　 https://crash.academy/class/101/ 　「Google ニューラル機械翻訳」 　　　　 https://crash.academy/class/76/ 　「RNNとLSTMの基礎」 　　　　 https://crash.academy/class/66/
続きを読む

初めにことばありき

旧約の「創世記」の「光よあれ」は、ビッグバンを思わせて、物理学者はちょっと萌えるかもしれないのだが、新約の「ヨハネによる福音書」には、言語学者が喜びそうなフレーズがある。 「初めに言があった。言は神と共にあった。言は神であった。」 僕が知っていたのは、「はじめにことばありき」という訳だったのだが。この口語訳での「言」は、英訳だとこうなっている。 "In the beginning was the Word, and the Word was with God, and the Word was God." 「言」= "Word" である。はじめにあったのは、Wordであって、Language ではない。だから、新しい口語訳では、普段、あまり馴染みない「言」という訳語を使ったのかも。「初めに語があった」では、なんかしまらないんだろうな。（僕は、「はじめにことばありき」というフレーズの方が好きだ。） ちなみに、「ヨハネによる福音書」は、英語では、"Gospel of John" という。「ジョンのゴスペル」である。でも、そう日本語に訳してしまうと、ジョン・レノンがバラードではなく、ゴスペルを歌っているようで、まずいんだろうな。 「ことば」・「言」・"Word" と訳されている、元々の言葉を調べてみると面白い。 キリスト教のオーソドックスな原典であるラテン語訳聖書では、この部分は、こうなる。 "In principio erat Verbum, et Verbum erat apud Deum, et Deus erat Verbum" 「イン・プリンキピオー・エラト・ウェルブム」 英訳 Word のラテン語の原語は、Verbum である。この単語、英語に直訳すれば、Verbである。「初めに、動詞があった。」　言語学の「従属性文法 (Dependency Grammar) 」理論の人たち、喜びそう。 もっとも、英語のVerbは、元々は、動詞というより広く言葉全体をさしてたらしい。そのことは、「ノンバーバル・コミュニケーション (Non-Verbal Communication) 」というのが、動詞を使わないコミュニケーション
続きを読む

人間は、善と悪との重ね合わせというモデルの失敗について

人間は善と悪との「重ね合わせ」だという前回の話は、人間の本性の複雑さを語るのには、ありうる喩えなのかもしれないが、量子の「重ね合わせ」の喩えとしては、実は、二つの点で失敗しているのだ。 一つには、複雑な善と悪との重ね合わせから情報を引き出す「簡単・粗野」な方法として、善か悪かの判断のみを下す「善悪測定器」を、便宜的に導入したのだが、これがマズイ。 複雑な量子の状態を「測定」した時に、我々は、その状態を複雑なまま見いだすことは出来ないのだ。量子が、善と悪との状態の重ね合わせだとしたら、測定によって我々が見いだすのは、必ず、善か悪か、どちらかの状態の量子を見いだす。 もしも、量子が、善悪二つの状態の重ね合わせではなく、もっと沢山の状態（例えば、100個の状態）の重ね合わせの場合でも、我々が「測定」で得られるのは、その中の、たった一つの状態である。 だから、量子の世界では、善か悪かの判断のみを下す「善悪測定器」は、決して「便宜的」なものではなく、これ以外の測定はできないという意味で、「原理的」な制約を表現しているのである。そのことが、先の喩えでは、うまく表現されていない。 量子の不思議さを、「重ね合わせ」の状態が不思議だと思っている人も多いのだが、それは違うと思う。 善と悪との重ね合わせの前回の例もそうだし、波だって、フーリエ変換だって、我々の日常に、たくさん「重ね合わせ」の現象は存在する。それは、ちっとも不思議なことではないし、表象するのも簡単である。 不思議なのは、「重ね合わせ」ではなく、量子に対する「測定」の方なのだ。それは、我々が「測定」に対してもつイメージとは、かけ離れている。量子力学の基礎の部分を構成しているのは、この不思議な「測定」の形式化・数式化なのである。（そして、それは、難しいものではない。今度の「紙と鉛筆」の演習に来て。） 二つ目の失敗も、実は、「測定」の扱いに関係している。 先の例では、丸山は、1,000回ほど「善悪測定器」にかけられ、その結果で、70% 悪人で、30% 善人 だと判定されるみたいな話をした。それが違うのである。 我々が「測定」で得られるのは、「重ね合わせ」を構成する複数の状態の中のたった一つの状態であると書いたのだが、それだけではないのだ。「測定」によって、量子の状態は、「測定」された一
続きを読む