資料詳細

  • 1 件中、 1 件目

ゲーデルの定理 利用可

トルケル・フランセーン／〔著〕 -- みすず書房 -- 2011.3 -- 410.9

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾌﾗﾝ/一般Ｈ 118400137 一般 利用可

ページの先頭へ

資料詳細

タイトル ゲーデルの定理
書名ヨミ ゲーデル　ノ　テイリ
副書名 利用と誤用の不完全ガイド
著者名 トルケル・フランセーン ／〔著〕, 田中一之 ／訳  
著者ヨミ フランセーン，トルケル , タナカ，カズユキ  
出版者 みすず書房  
出版年 2011.3
ページ数等 ２４１ｐ
大きさ ２２ｃｍ
内容細目 文献あり　索引あり
原書名 Ｇｏ¨ｄｅｌ’ｓ　Ｔｈｅｏｒｅｍ．∥の翻訳
一般件名 ゲーデルの定理  
ISBN 4-622-07569-5
ISBN13桁 978-4-622-07569-1
定価 ３５００円
問合わせ番号（書誌番号） 1101767228
NDC8版 410.9
NDC9版 410.9
内容紹介 ゲーデルの不完全性定理について、本来の定理としての醍醐味を語るユニークな解説書。数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにする。
著者紹介 【フランセーン】ルレオ工科大学計算機科学・電子工学科に講師として長年勤め、プログラミングを教えた。数理論理学と計算機科学を専門とし、主要な関心であったゲーデルの定理に関して本書とより専門的な著書がある。 
著者紹介 【田中】１９５５年生まれ。カリフォルニア大学バークレー校で、新しい算術独立命題を発見したハーリントン教授に師事。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論で、とくに「逆数学」の研究で国際的に知られる。著書に「ゲーデルと２０世紀の論理学」など。 

ページの先頭へ