チューリング コンピュータ理論の起源

コンピュータ誕生期に最も大きな影響を及ぼし、現在もコンピュータ理論の古典と呼ばれる、チューリングの論文を紹介。コンピュータに関わる重要な論文４編の翻訳と解説が収められている。

目次 : チューリングの人生と業績/ 第１部　計算可能な数について、その決定問題への応用（計算機械/ 定義　ほか）/ 第２部　１９４７年２月２０日におけるロンドン数学会での講演（大規模電子デジタル計算機の特徴/ 音響遅延線について　ほか）/ 第３部　知能機械（いくつかの反論に対する論駁/ 様々な機械　ほか）/ 第４部　計算機械と知能（模倣ゲーム/ 新しい問題への批判　ほか）

【著者紹介】
伊藤和行 : １９７９年北海道大学理学部物理学科卒業。１９８５年東京大学大学院理学系研究科博士課程修了。１９９５年京都大学文学部助教授。２００２年京都大学博士（文学）。２００６年京都大学大学院文学研究科教授

佐野勝彦 : ２０００年京都大学文学部人文学科卒業。２００６年京都大学大学院文学研究科現代文化学専攻科学哲学科学史専修博士後期課程研究指導認定退学。２００８年日本学術振興会特別研究員（ＰＤ）。２００９年アムステルダム大学計算論理言語研究所客員研究員。２０１０年京都大学博士（文学）、レスター大学計算機科学部客員研究員。２０１１年北陸先端科学技術大学院大学情報科学研究科助教

杉本舞 : ２００３年京都大学文学部人文学科卒業。２０１０年京都大学大学院文学研究科現代文化学専攻科学哲学科学史専修博士後期課程研究指導認定退学。２０１２年関西大学社会学部社会学科社会システムデザイン専攻助教。２０１３年京都大学博士（文学）（本データはこの書籍が刊行された当時に掲載されていたものです）