| 1.
図書 |
図書
|
竹内薫著
目次情報:
続きを見る
概要:
「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者
…
チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。
続きを見る
|
|||||||||||||||||||
| 2.
図書 |
図書
|
ジョージ・ダイソン著 ; 吉田三知世訳
目次情報:
続きを見る
概要:
高等研究所などに収められた詳細な文献や写真資料、豊富なインタビュー取材をもとに、大戦後の混乱でこれまで必ずしも明らかでなかった歴史事情や、知られざる人々の肖像をちりばめて綴る、決定版コンピュータ「創世記」。
|
|||||||||||||||||||
| 3.
図書 |
図書
|
アンドルー・ホッジス著 ; 土屋俊, 土屋希和子訳
目次情報:
続きを見る
概要:
史上最強の暗号解読者、コンピュータ科学の創始者、そしてその後の数奇な人生がここに。<br />あらゆるチューリング評伝のルーツとなった決定版伝記!「イミテーション・ゲーム」原作。アカデミー賞脚色賞受賞!
|
|||||||||||||||||||
| 4.
図書 |
図書
|
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
|
|||||||||||||||||||
| 5.
図書 |
図書
|
高橋昌一郎著
目次情報:
続きを見る
概要:
今日のコンピュータの礎を築いたジョン・フォン・ノイマン、不完全性定理で数学・論理学の歴史を根底から変えたクルト・ゲーデル、思考する機械への道を拓いたアラン・チューリング。いずれも今日の科学と哲学に多大な影響をもたらした天才たちである。同時代
…
に生きた彼らは、互いに触発され、時に議論し、相互に意識しながら実に多くの業績を残した。比類なき頭脳と個性をもった三人は、いかに関わり、何を考え、どう生きたか。それは今日の世界にいかなる意味を持つのか。彼ら自身の言葉からその思想の本質に迫る。
続きを見る
|
|||||||||||||||||||
| 6.
図書 |
図書
|
[チューリング著] ; 伊藤和行編 ; 佐野勝彦, 杉本舞訳・解説
目次情報:
続きを見る
概要:
コンピュータ誕生期に最も大きな影響を及ぼし、現在もコンピュータ理論の古典と呼ばれる、チューリングの論文を紹介。コンピュータに関わる重要な論文4編の翻訳と解説が収められている。
|
|||||||||||||||||||
| 7.
図書 |
図書
|
B・ジャック・コープランド著 ; 服部桂訳
目次情報:
続きを見る
概要:
現代のコンピュータの基本モデルとなった「チューリング・マシン」を考案したイギリスの数学者アラン・チューリング(1912‐1954)。本書は、2012年に生誕100年を迎え、その生涯や業績への再評価が世界的に高まっている中、チューリング研究の
…
第一人者であるコープランド教授が一般向けに書き下ろした話題の書である。チューリングの生涯は、対ナチ戦争を勝利に導いた暗号解読、ゲイとしての私生活、自殺説・他殺説・事故説が入り乱れるその死まで、多くの逸話にあふれ、小説や映画の素材にもなっている。チューリング理論の平易な解説を交えながら、ミステリーのように歴史の謎を解いていく、チューリング伝の決定版。
続きを見る
|
