ノイマン・ゲーデル・チューリング
高橋昌一郎(著)
/筑摩選書
作品情報
今日のコンピュータの礎を築いたジョン・フォン・ノイマン、不完全性定理で数学・論理学の歴史を根底から変えたクルト・ゲーデル、思考する機械への道を拓いたアラン・チューリング。いずれも今日の科学と哲学に多大な影響をもたらした天才たちである。同時代に生きた彼らは、互いに触発され、時に議論し、相互に意識しながら実に多くの業績を残した。比類なき頭脳と個性をもった三人は、いかに関わり、何を考え、どう生きたか。それは今日の世界にいかなる意味を持つのか。彼ら自身の言葉からその思想の本質に迫る。
もっとみる
商品情報
- シリーズ
- ノイマン・ゲーデル・チューリング
- 著者
- 高橋昌一郎
- 出版社
- 筑摩書房
- 掲載誌・レーベル
- 筑摩選書
- 書籍発売日
- 2014.10.15
- Reader Store発売日
- 2018.08.31
- ファイルサイズ
- 2.8MB
以下の製品には非対応です
この作品のレビュー
平均 4.2 (7件のレビュー)
-
【はじめに】
『理性の限界』、『知性の限界』、『感性の限界』という限界三部作を書いた高橋先生の著作。『知性の限界』の書評で好意的な中にも「もしかしたら(『理性の限界』の)出がらしかもしれない。」と書い…たら「出がらしではないです」とTwitterでコメントされてしまった思い出がある。2010年なので、もう10年以上前のことだ。本書で取り上げられたゲーデルは、『理性の限界』の中で「知識の限界」として紹介されていた。
本書は、ノイマン、ゲーデル、チューリングという二十世紀を代表すると言ってよい天才たちの解説とそれぞれの業績の頂点にも位置する有名な3つの講演(ギブス講演、)の翻訳を一冊にまとめたものである。
【概要】
ノイマンはゲーデルの才能を高く評価し、戦禍のヨーロッパからプリンストン高等研究所に手を尽くす。ノイマン式コンピュータを発案したが、そういった計算機でできることを示したのがチューリングである。ゲーデルは講演の中でチューリングの名前を挙げ、不完全性定理の論文の付記にチューリングの仕事の重要性に言及している。アインシュタインもいたプリンストンに同時にいたこともある三人の天才は、互いに相手に敬意を払い、それぞれに影響を受けていた。なお、三人がプリンストンに集まることとなった背景にはナチスによるユダヤ人迫害の歴史的事実があるのである。
■ ノイマン
この人は本物の天才で、数学、ゲーム理論、量子力学、原爆開発と複数の領域で傑出した成果を上げた。ノイマンを含めてブダペスト出身の科学者が多く活躍することについてその理由を問われた同じくブタペスト出身のノーベル物理学者のウィグナーが「その質問は的外れだよ。なぜなら天才と呼べるのはノイマンだけだから」と答えたと言われている。それほど傑出した存在であったと言っていいだろう。ここまでの才能を持つということはどんな気分なんだろう(たぶん、分からないだろう)と思わせる人物である。
ケーニヒスベルク会議でヒルベルトプログラムを進めようと宣言するそのノイマンに対して、ゲーデルがいまだ発表前の不完全性定理を持ち出して、直接ヒルベルトプログラムが達成不可能であると告げるくだりは絵になる図であり非常に印象的である。
著者がその翻訳を付けたノイマンの講演「数学者」は、ノイマンの数学に対する認識を語った講演である。「経験的な発想を直接的に再注入する」べきだとして、数学の物理的な事象とのつながりを強調したものであった。「経験的な起源から遠く離れて「抽象的」な近親交配が長く続けば続くほど、数学という学問分野は堕落する危険性があるのです」は後に述べるゲーデルの数学実在論とは対立しているよ。
■ ゲーデル
不完全性定理を「ゲーデル数化」と呼ばれる独創的なやり方で証明し、ヒルベルトプログラムが達成不可能しないことを示したクルト・ゲーデル。ここで紹介されるアメリカ数学会「ギブス講演」の「数学基礎論における幾つかの基本的定理とその帰結」は数学は人間精神から独立して実在するものなのかを論じたものである。
「数学は、正確な有限の規則に基づく公理系に含まれないという意味で不完全であり、すなわち、人間精神は、いかなる有限の機械よりも無限に優れているか、あるいは、絶対的に決定不可能なディオファントス問題が存在するか、のどちらかである」
という命題を持ち出す。
前者が正であれば、人間精神は有限である脳の機能に還元できないということとなり、後者であれば数学が人間の創造にすぎないという主張を反証するものだと続ける。つまり、数学は客観的に存在するものであり、数学的対象の「実在論」を導いているという。
「数学が、非観念的な実在を記述するものであり、それは人間精神の行為や心理的傾向から独立して存在し、おそらく非常に不完全にのみ人間精神によって近くされる」 ―― グールドは数学のプラトン主義的実在を支持しているのである。
なおゲーデルは、この講演の中でチューリングを計算可能性を機械的アルゴリズムによって定義したとして取り上げている。
■ チューリング
アラン・チューリングが、ドイツ軍の暗号システムエニグマの解読を主導したことは長く機密扱いとされてきたが、彼の死後長い時間が経ってから明らかにされた事実をもとにした映画『イミテーション・ゲーム』や大著『チューリングの大聖堂』が世に出された。
この天才は、同性愛者であったのだが、同性愛がまだイギリスで犯罪であった1952年にそのことが警察に知られることになり、ホルモン治療を強制的に受けさせられ、そのことが直接の原因かどうかもまた自殺か事故死かも明らかではないが、1954年41歳で夭逝している。その名誉がイギリスで正式に回復させられたのは2013年のことである。
本書で紹介されるのは、哲学雑誌『マインド』に投稿した論文『計算機械と知性』(1950年)である。同性愛が公になる2年前の生涯の絶頂期に書かれた論文である。機械が考えることができるかを規定するとして提案されたチューリング・テストに触れたものだが、ここでのチューリングのAI、特にそれを実現する機械学習の原理に対する洞察の正確さは瞠目に値する。
「今から五十年ほど経てば、およそ10の9乗(ギガ)の記憶容量を持つ機械をプログラムできるようになり、その機械にモノマネ・ゲームを実行させると、平均的な質問者が五分間質疑応答を繰り返したとして、それが機械だと正確に判定できない確率は70%を超えているはずである。... 今世紀の終わりにもなれば、言語の用法も一般的な教養人の意見も大きく変わり、もはや批判されることを心配せずに、機械が考えることを公言できるようになるだろう」
チューリングはこの論文で明確にモノマネ・ゲーム(イミテーション・ゲーム)を合格する機械が将来登場すると確信している。その実現方法として提案されているのが、現在の機械学習の原理を正確に予言していて天才たるゆえんと示している。曰く、
「機械は、自分自身のプログラムを作り、自分自身の構成を変更した場合の影響を予測できるようになるかもしれない。自分自身の行動が引き起こす結果を観察することによって、より効果的な目的を達するように自分自身のプログラムを改良することもできるだろう」
シンプルな構成の「子供のプログラム」から罰と報酬を結び付ける「教育課程」によってモノマネ・ゲームに合格する機械が実現されるとの見解は、機械学習プログラムとほぼ同一のコンセプトである。さらに現在のAIの状況を予言するように、次のように論じる。
「学習する機械の重要な特徴は、その機械の中で何が起こっているかについて、外にいる教師はほとんど何も知ることがないという点である」
さらに進めて、思考はアルゴリズムに還元できるとし、人間はチューリング・マシンと同等であるとチューリングは別のところで語っている。この主張は、人間精神は脳の機能に還元できないと考えたゲーデルとは対立するのは面白いポイントである。チューリングの仮定が正しい場合、次のチャーチの非決定性定理とチューリングの停止定理は、因果論的決定論と自由意志について何ごとかを言っているようにも思われる。
「任意のチューリング・マシンが何を導くかを事前に決定するアルゴリズムは存在しない」 (チャーチの非決定性定理)
「任意のチューリング・マシンがいつ停止するかを事前に決定するアルゴリズムは存在しない」(チューリングの停止定理)
【所感】
著者の高橋昌一郎さんは、『理性の限界』では、「選択の限界」、「科学の限界」、「知識の限界」として、アロウの不可能性定理、量子力学の不確実性定理、ゲーデルの不完全性定理を、『知性の限界』では、「言語の限界」、「予測の限界」、「思考の限界」としてヴィトゲンシュタインの言語ゲーム、ポパーの反証主義や複雑系、ファイヤーベントや人間原理を扱っていたが、一つのテーマにおいて三つのエピソードを並べて語るというフォーマットは著者の得意とするところなのかもしれない。
ひとつのテーマやひとりの人で一冊書き切って面白いものを書く自信がないのかもしれない、と書くとまた突っ込まれるかもしれない。いや、三つをうまく連関させて、一冊でまとまったものに仕上げて、他の本と差別化された本を書く才能があると言った方がいいのだろう。その方が売りやすいかもしれないし。いや、面白かったとほめているので誤解なきよう。
改めて三人の天才、フォン・ノイマン、クルト・ゲーデル、アラン・チューリングについてその天才と呼ばれるが所以を認識できた。この三人の浅からぬ関係も浮かびあがってくることから、三人を一緒に扱うべき理由もあった。とても面白く知的好奇心を刺激された。
----
『理性の限界――不可能性・不確定性・不完全性』(高橋昌一郎)のレビュー
https://booklog.jp/users/sawataku/archives/1/4062879484
『知性の限界――不可測性・不確実性・不可知性』(高橋昌一郎)のレビュー
https://booklog.jp/users/sawataku/archives/1/4062880482
『哲学ディベート 〈倫理〉を〈論理〉する』(高橋昌一郎)のレビュー
https://booklog.jp/users/sawataku/archives/1/4140910976
『エニグマ・コード―史上最大の暗号戦』(ヒューシーバッグ=モンティフィオーリ)のレビュー
https://booklog.jp/users/sawataku/archives/1/4120038971
『チューリングの大聖堂: コンピュータの創造とデジタル世界の到来』(ジョージ・ダイソン)のレビュー
https://booklog.jp/users/sawataku/archives/1/4152093595続きを読む投稿日:2021.08.14
『20世紀を代表する3人の天才の論文と背景を読み解く』
本書は、3人の代表的な論文、その解説、各人の伝記の3部構成。全体的には、三者三様の考え方の違いや関わり合いなど、面白かった!さすがに論文は難し…すぎて、予備知識がないと理解できないので、後日、再チャレンジしよう!続きを読む投稿日:2021.05.16
新刊自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
※新刊自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新号を含め、既刊の号は含まれません。ご契約はページ右の「新刊自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される「増刊号」「特別号」等も、自動購入の対象に含まれますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると新刊自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約・新刊自動購入設定」より、随時解約可能です続巻自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
- ・優待ポイントが2倍になるおトクなキャンペーン実施中!
※続巻自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新巻を含め、既刊の巻は含まれません。ご契約はページ右の「続巻自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される特別号等も自動購入の対象に含まれる場合がありますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると続巻自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約自動購入設定」より、随時解約可能ですReader Store BOOK GIFT とは
ご家族、ご友人などに電子書籍をギフトとしてプレゼントすることができる機能です。
贈りたい本を「プレゼントする」のボタンからご購入頂き、お受け取り用のリンクをメールなどでお知らせするだけでOK!
ぜひお誕生日のお祝いや、おすすめしたい本をプレゼントしてみてください。※ギフトのお受け取り期限はご購入後6ヶ月となります。お受け取りされないまま期限を過ぎた場合、お受け取りや払い戻しはできませんのでご注意ください。
※お受け取りになる方がすでに同じ本をお持ちの場合でも払い戻しはできません。
※ギフトのお受け取りにはサインアップ(無料)が必要です。
※ご自身の本棚の本を贈ることはできません。
※ポイント、クーポンの利用はできません。クーポンコード登録
Reader Storeをご利用のお客様へ
ご利用ありがとうございます!
エラー(エラーコード: )
ご協力ありがとうございました
参考にさせていただきます。