資料詳細

  • 1 件中、 1 件目

【図書】 ゲーデルの定理

利用と誤用の不完全ガイド --
トルケル・フランセーン ／〔著〕, 田中一之 ／訳   -- みすず書房 -- ２０１１．３ -- ２２ｃｍ -- ２４１ｐ

資料詳細

タイトル ゲーデルの定理
副書名 利用と誤用の不完全ガイド
著者名等 トルケル・フランセーン ／〔著〕, 田中一之 ／訳  
出版 みすず書房 ２０１１．３
大きさ等 ２２ｃｍ ２４１ｐ
分類 410.9
件名 ゲーデルの定理
注記 Ｇｏ¨ｄｅｌ’ｓ　Ｔｈｅｏｒｅｍ．／の翻訳
注記 文献あり　索引あり
著者紹介 【フランセーン】ルレオ工科大学計算機科学・電子工学科に講師として長年勤め、プログラミングを教えた。数理論理学と計算機科学を専門とし、主要な関心であったゲーデルの定理に関して本書とより専門的な著書がある。
内容紹介 ゲーデルの不完全性定理について、本来の定理としての醍醐味を語るユニークな解説書。数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにする。
要旨 「革命」ばかりが語られてきた不完全性定理について、本来の定理としての醍醐味を語る。ゲーデル、チューリングをはじめとする驚くべき頭脳がシステムの性質を探る、創造性あふれる営みを垣間見る旅。しかも数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにしている。認知科学、物理学、神学、ポストモダン批評など、思いつくかぎりの分野から誤用・誤解の事例がとりあげられている。誰もが陥りやすい錯覚や、緻密な考察の末の誤りも多く、著名な科学者の文章でさえ例に漏れない。同じ轍を踏まないためにもゲーデルの定理を引用する際にはとりわけ必読の書である。
目次 １　序；２　不完全性定理総論；３　計算可能性、形式体系、不完全性；４　不完全性はどこにでも；５　数学に関する懐疑と信頼；６　ゲーデル、心、コンピュータ；７　ゲーデルの完全性定理；８　不完全性、複雑さ、無限大；Ａ　補遺
ISBN(13)、ISBN 978-4-622-07569-1　　 4-622-07569-5
書誌番号 1111020847

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2046317109 iLisvirtual

ページの先頭へ