資料詳細

  • 1 件中、 1 件目

【図書】 万能コンピュータ

ライプニッツからチューリングへの道すじ --
マーティン・デイヴィス ／原著, 沼田寛 ／訳   -- 近代科学社 -- ２０１６．１１ -- ２３ｃｍ -- ２４９ｐ

資料詳細

タイトル 万能コンピュータ
副書名 ライプニッツからチューリングへの道すじ チューリング生誕１００周年記念版
著者名等 マーティン・デイヴィス ／原著, 沼田寛 ／訳  
出版 近代科学社 ２０１６．１１
大きさ等 ２３ｃｍ ２４９ｐ
分類 007
件名 情報科学 , コンピュータ－歴史
注記 原タイトル：Ｔｈｅ　Ｕｎｉｖｅｒｓａｌ　Ｃｏｍｐｕｔｅｒ　原著Ｔｕｒｉｎｇ　Ｃｅｎｔｅｎａｒｙ　Ｅｄｉｔｉｏｎの翻訳
注記 文献あり　索引あり
著者紹介 【マーティン・デイヴィス】１９２８年、ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。記号論理学の歴史に造詣が深く、“Ｔｈｅ　Ｕｎｄｅｃｉｄａｂｌｅ”の編纂でも有名。超準解析を解説した著書（難波完爾訳、培風館）もある。現在はニューヨーク大学名誉教授、カリフォルニア在住。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 ライプニッツからチューリングに至る数理論理学の系譜は、コンピュータの理論的バックボーンを形成し、ＡＩの登場をも予見している。人間の思考の範囲を包括するような記号体系の構築に献身したロジシャンたちとその苦闘を紹介する。
目次 第１章　ライプニッツの夢；第２章　論理を代数に変換したブール；第３章　フレーゲ―画期的達成から絶望へ；第４章　無限を巡り歩いたカントル；第５章　ヒルベルトの救済プログラム；第６章　ヒルベルトの計画を転覆させたゲーデル；第７章　汎用計算機を構想したチューリング；第８章　現実化された万能計算機；第９章　ライプニッツの夢を超えて
ISBN(13)、ISBN 978-4-7649-0471-2　　 4-7649-0471-3
書誌番号 1113439551
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113439551

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 情報科学 007 一般書 貸出中 - 2057972613 iLisvirtual

ページの先頭へ