資料詳細

詳細蔵書検索

ゲーデルの定理

トルケル・フランセーン／〔著〕 -- みすず書房 -- ２０１１．３ -- 410.9

所蔵

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

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般資料	4109/F1/	1108226190	一般	貸出可	在庫

ページの先頭へ

資料詳細

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

ページの先頭へ