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

検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤンのゲーデル・パズル　論理パズルから不完全性定理へ

著者名 レイモンド・M.スマリヤン／著 川辺治之／訳
出版者 日本評論社
出版年月 2014.11
請求記号 410/00821/

この資料に対する操作

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

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

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

資料情報

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

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

関連資料

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

書誌詳細

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

請求記号 410/00821/
書名 スマリヤンのゲーデル・パズル　論理パズルから不完全性定理へ
著者名 レイモンド・M.スマリヤン／著 　 川辺治之／訳
出版者 日本評論社
出版年月 2014.11
ページ数 3,344p
大きさ 19cm
ISBN 978-4-535-78754-4
原書名 原タイトル:The Gödelian puzzle book
分類 41079
一般件名 数学遊戯 　 不完全性定理
書誌種別 一般和書
内容紹介 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。楽しい論理パズルを通して、傑出した論理学者クルト・ゲーデルの先駆的発見を解説する。
書誌・年譜・年表 文献:p333
タイトルコード 1001410074235

要旨 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
目次 第１部　パズル、パラドックス、無限（とりとめのない自己紹介
騎士と悪漢の島
不思議なムジカ島
メタパズル４題
認められた騎士と悪漢　ほか）
第２部　証明可能性、真理、決定不能性（真理と証明可能性
構文論的不完全性定理
段階的証明可能性
形式体系と再帰的関数論
不完全性と決定不能性　ほか）
著者情報 スマリヤン，レイモンド・Ｍ．
　１９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学(本データはこの書籍が刊行された当時に掲載されていたものです)
川辺 治之
　１９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

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

本文はここまでです。

ページの終わりです。