資料詳細

  • 1 件中、 1 件目

スマリヤン数理論理学講義 上巻 不完全性定理の理解のために 利用可

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

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

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

ページの先頭へ

資料詳細

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

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１部　一般的な予備知識（数理論理学の起源；無限集合；問題発生！；数学の基礎知識）
第２部　命題論理（命題論理事始め；命題論理のタブロー；公理論的命題論理）
第３部　一階述語論理（一階述語論理事始め；重要な結果）
第４部　体系の不完全性（一般的状況での不完全性；一階算術；形式体系；ペアノ算術；進んだ話題）

ページの先頭へ