資料詳細

  • 1 件中、 1 件目

スマリヤン数理論理学講義 下巻 不完全性定理の先へ 利用可

レイモンド・Ｍ・スマリヤン／著 -- 日本評論社 -- 2018.9 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ｽﾏﾘ-2/一般Ｈ 120706836 一般 利用可

ページの先頭へ

資料詳細

タイトル スマリヤン数理論理学講義
書名ヨミ スマリヤン　スウリ　ロンリガク　コウギ
巻次 下巻
巻書名 不完全性定理の先へ
巻書名 不完全性定理の先へ
著者名 レイモンド・Ｍ・スマリヤン ／著, 田中　一之 ／監訳, 川辺　治之 ／訳  
著者ヨミ スマリヤン，レイモンド　Ｍ． , タナカ，カズユキ , カワベ，ハルユキ  
出版者 日本評論社  
出版年 2018.9
ページ数等 ３１２ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：Ｒａｙｍｏｎｄ　Ｍ．Ｓｍｕｌｌｙａｎ　Ｌｅｃｔｕｒｅｓ　ｏｎ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
原書名 原タイトル：Ａ　ＢＥＧＩＮＮＥＲ’Ｓ　ＦＵＲＴＨＥＲ　ＧＵＩＤＥ　ＴＯ　ＭＡＴＨＥＭＡＴＩＣＡＬ　ＬＯＧＩＣ
一般件名 記号論理学  
ISBN 4-535-78851-0
ISBN13桁 978-4-535-78851-0
定価 ３８００円
問合わせ番号（書誌番号） 1120217750
NDC8版 410.96
NDC9版 410.96
著者紹介 【レイモンド・Ｍ．スマリヤン】１９１９年，ニューヨーク生まれ．１９５９年，プリンストン大学にてＰｈ．Ｄ．を取得．数学者，専門は数理論理学．著書に『Ｗｈａｔ　ｉｓ　ｔｈｅ　Ｎａｍｅ　ｏｆ　Ｔｈｉｓ　Ｂｏｏｋ？』（邦訳『この本の名は？―嘘つきと正直者をめぐる不思議な論理パズル』，日本評論社）など多数．２０１７年，９７歳で逝去．（本データはこの書籍が刊行された当時に掲載されていたものです） 
著者紹介 【田中一之】１９５５年生まれ．カリフォルニア大学バークレー校でＰｈ．Ｄ．を取得．現在，東北大学大学院理学研究科数学専攻教授．専門は数学基礎論．著書に『ゲーデルに挑む』（東京大学出版会）などがある．（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１部　命題論理と一階述語論理の進んだ話題（命題論理の進んだ話題；一階述語論理の進んだ話題）
第２部　再帰的関数論とメタ数学（再帰的関数論、決定不能性、不完全性；初等形式体系と再帰的枚挙可能性；再帰的関数論；二重化による一般化；メタ数学とのつながり）
第３部　コンビネータ論理の構成要素（コンビネータ論理事始め；さまざまなコンビネータ；賢者、預言者、それらの二重化；完全体系と部分体系；コンビネータ、再帰的関数論、決定不能性）

ページの先頭へ