紀伊國屋書店ウェブストア当サイトを正常に閲覧いただくにはJavaScriptを有効にする必要があります。知三郎【訳】コンピュータ・エージ社(2003/07発売)ただいまウェブストアではご注文を受け付けておりません。C3040ツイート内容説明IT文明のルーツって何?そんな疑問にこたえる分かりやすい好著が邦訳された。ライプニッツ、ブール、ゲーデル、テューリング...。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。カリフォルニア大学バークレー校客員教授。ニューヨーク大学でエミール・ポストに学び、プリンストン大学でアロンゾ・チャーチの元で1951年に博士号を取得した。ディヴィスは、プリンストン高等研究所の研究員としてクルト・ゲーデルやクロード・シャノンなど、20世紀を代表する論理学者に学ぶ機会をもった。ジョン・フォン・ノイマンとハーマン・ゴールドスタインが設計したプリンストン高等研究所のIASコンピュータで、数学的証明を導く史上初のプログラムを記述した人物としても知られている。イラストレーターなどの紹介情報です。304366100901このウェブサイトの内容の一部または全部を無断で複製、転載することを禁じます。当社店舗一覧等を掲載されるサイトにおかれましては、最新の情報を当ウェブサイトにてご参照のうえ常時メンテナンスください。