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

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 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

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


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。