資料詳細

  • 1 件中、 1 件目

【図書】 スマリヤン数理論理学講義 下巻

不完全性定理の先へ --
レイモンド・Ｍ・スマリヤン ／著, 田中一之 ／監訳, 川辺治之 ／訳   -- 日本評論社 -- ２０１８．９ -- ２２ｃｍ -- ３１２ｐ

資料詳細

タイトル スマリヤン数理論理学講義 下巻
各巻タイトル 不完全性定理の先へ
著者名等 レイモンド・Ｍ・スマリヤン ／著, 田中一之 ／監訳, 川辺治之 ／訳  
出版 日本評論社 ２０１８．９
大きさ等 ２２ｃｍ ３１２ｐ
分類 410.96
件名 記号論理学
注記 欧文タイトル：Ｒａｙｍｏｎｄ　Ｍ．Ｓｍｕｌｌｙａｎ　Ｌｅｃｔｕｒｅｓ　ｏｎ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
注記 原タイトル：Ａ　ＢＥＧＩＮＮＥＲ’Ｓ　ＦＵＲＴＨＥＲ　ＧＵＩＤＥ　ＴＯ　ＭＡＴＨＥＭＡＴＩＣＡＬ　ＬＯＧＩＣ
注記 文献あり　索引あり
要旨 スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・Ｍ・スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のジョークも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次 第１部　命題論理と一階述語論理の進んだ話題（命題論理の進んだ話題；一階述語論理の進んだ話題）；第２部　再帰的関数論とメタ数学（再帰的関数論、決定不能性、不完全性；初等形式体系と再帰的枚挙可能性；再帰的関数論；二重化による一般化；メタ数学とのつながり）；第３部　コンビネータ論理の構成要素（コンビネータ論理事始め；さまざまなコンビネータ；賢者、預言者、それらの二重化；完全体系と部分体系；コンビネータ、再帰的関数論、決定不能性）
ISBN(13)、ISBN 978-4-535-78851-0　　 4-535-78851-0
書誌番号 1113624729
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113624729

ページの先頭へ

所蔵

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

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

ページの先頭へ