感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

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

著者名 レイモンド・M.スマリヤン／著 田中一之／監訳 川辺治之／訳
出版者 日本評論社
出版年月 2018.9
請求記号 4109/00070/２

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0237402151一般和書２階開架自然・工学在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 4109/00070/２
書名 スマリヤン数理論理学講義　下巻 　不完全性定理の先へ
著者名 レイモンド・M.スマリヤン／著 　 田中一之／監訳 　 川辺治之／訳
出版者 日本評論社
出版年月 2018.9
ページ数 5,312p
大きさ 22cm
巻書名 不完全性定理の先へ
ISBN 978-4-535-78851-0
原書名 原タイトル:A beginner's further guide to mathematical logic
分類 41096
一般件名 記号論理学
書誌種別 一般和書
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。
書誌・年譜・年表 文献:p299〜302
タイトルコード 1001810053402

要旨 スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・Ｍ・スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のジョークも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次 第１部　命題論理と一階述語論理の進んだ話題（命題論理の進んだ話題
一階述語論理の進んだ話題）
第２部　再帰的関数論とメタ数学（再帰的関数論、決定不能性、不完全性
初等形式体系と再帰的枚挙可能性
再帰的関数論
二重化による一般化
メタ数学とのつながり）
第３部　コンビネータ論理の構成要素（コンビネータ論理事始め
さまざまなコンビネータ
賢者、預言者、それらの二重化
完全体系と部分体系
コンビネータ、再帰的関数論、決定不能性）
著者情報 スマリヤン，レイモンド・Ｍ．
　１９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学。著書Ｗｈａｔ　ｉｓ　ｔｈｅ　Ｎａｍｅ　ｏｆ　Ｔｈｉｓ　Ｂｏｏｋ？（邦訳『この本の名は？―嘘つきと正直者をめぐる不思議な論理パズル』、日本評論社）が斬新な論理パズルの本としてマーチン・ガードナーに紹介され、一躍有名となる。その後もパズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。２０１７年、９７歳で逝去(本データはこの書籍が刊行された当時に掲載されていたものです)
田中 一之
　１９５５年生まれ。カリフォルニア大学バークレー校でＰｈ．Ｄ．を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)
川辺 治之
　１９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。