万能コンピュータ―ライプニッツからチューリングへの道すじ [単行本]

万能コンピュータ―ライプニッツからチューリングへの道すじ の 商品概要

• 目次（「BOOK」データベースより）

  第１章　ライプニッツの夢
  第２章　論理を代数に変換したブール
  第３章　フレーゲ―画期的達成から絶望へ
  第４章　無限を巡り歩いたカントル
  第５章　ヒルベルトの救済プログラム
  第６章　ヒルベルトの計画を転覆させたゲーデル
  第７章　汎用計算機を構想したチューリング
  第８章　現実化された万能計算機
  第９章　ライプニッツの夢を超えて

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  デイヴィス,マーティン(デイヴィス,マーティン／Davis,Martin)
  １９２８年、ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得、１９５０年代にはヒルベルトの第１０問題に関する重要な部分的結果を得ている。１９５０年代後半には「チューリング機械の停止問題」を定式化、超準解析を解説した著書（難波完爾訳、培風館）もある。現在はニューヨーク大学名誉教授、カリフォルニア在住
  
  沼田 寛(ヌマタ ヒロシ)
  １９４８年、滋賀県生まれ。京都大学理学部卒。出版社勤務、フリーのサイエンスライター等を経て、２０００年より公立はこだて未来大学システム情報科学部講師。２０１４年に定年退職後は、おもに科学書の翻訳の仕事をしている

• 出版社からのコメント

  コンピュータの礎を創った，数学者，論理学者らの学術成果と，その人生を追いかけていく．

• 内容紹介

  コンピュータ前史
  　ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している．代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する．さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する．
  　また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている．
  　比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である．

万能コンピュータ―ライプニッツからチューリングへの道すじ の商品スペック