サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料(~1/31)

1,000円以上の注文で3%OFFクーポン(0120-26)

  1. hontoトップ
  2. 本の通販ストア
  3. 趣味・ホビー
  4. スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ

電子書籍化お知らせメール

商品が電子書籍化すると、メールでお知らせする機能です。
「メールを登録する」ボタンを押して登録完了です。
キャンセルをご希望の場合は、同じ場所から「メール登録を解除する」を押してください。

電子書籍化したら知らせてほしい

電子書籍化お知らせメールサンプル

スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ
スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ
  • みんなの評価 5つ星のうち 5 1件
  • あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×

新刊お知らせメール登録

この著者の新着情報

一覧を見る

  • カテゴリ:一般
  • 発売日:2014/11/24
  • 出版社: 日本評論社
  • サイズ:19cm/344p
  • 利用対象:一般
  • ISBN:978-4-535-78754-4
  • 国内送料無料
専門書

紙の本

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

著者 レイモンド・M.スマリヤン (著),川辺 治之 (訳)

出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。楽しい論理パズルを通して、傑出した論理学者クルト・ゲーデルの先駆的発見を解説する。【「TRC...

もっと見る

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

2,592(税込)

ポイント :24pt

紙の本をカートに入れる

電子書籍化お知らせメール

電子書籍化お知らせメールサンプル

電子書籍化お知らせメールヘルプ

メールを登録する

通販全品!3%OFFクーポンプレゼント

こちらは「本の通販ストア全商品対象!1,000円以上のご注文で、3%OFFクーポンプレゼント」の対象商品です。
※キャンペーンの適用にはクーポンの取得が必要です。

キャンペーン期間:2017年1月20日(金)~2017年1月26日(木)23:59

このセットに含まれる商品

前へ戻る

  • 対象はありません

次に進む

商品説明

出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。楽しい論理パズルを通して、傑出した論理学者クルト・ゲーデルの先駆的発見を解説する。【「TRC MARC」の商品解説】

目次

  • 第1部 パズル、パラドックス、無限
  • 1  とりとめのない自己紹介
  • 2  騎士と悪漢の島
  • 3  不思議なムジカ島
  • 4  メタパズル4題
  • 5  認められた騎士と悪漢
  • 6  パラドックス?
  • 7  無限と数学的帰納法
  • 8  自己参照入門

著者紹介

レイモンド・M.スマリヤン

略歴
〈レイモンド・M.スマリヤン〉1919年ニューヨーク生まれ。プリンストン大学にてPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「シャーロック・ホームズのチェスミステリー」など。

関連キーワード

この著者・アーティストの他の商品

前へ戻る

  • 対象はありません

次に進む

みんなのレビュー1件

みんなの評価5.0

評価内訳

  • 星 5 (0件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)

2015/02/09 03:24

投稿元:ブクログ

原題:THE GODELIAN PUZZLE BOOK
著者:Raymond M Smullyan(1919-)
翻訳:川辺治之

【目次】
第1部 パズル、パラドックス、無限
1  とりとめのない自己紹介
2  騎士と悪漢の島
3  不思議なムジカ島
4  メタパズル4題
5  認められた騎士と悪漢
6  パラドックス?
7  無限と数学的帰納法
8  自己参照入門
9  不動点パズル
10 奇妙な処理系
11 判定装置を錯綜させる
12 そのほかのゲーデル的パズル

第2部 証明可能性、真理、決定不能性
13 真理と証明可能性
14 構文論的不完全性定理
15 段階的証明可能性
16 形式体系と再帰的関数論
17 不完全性と決定不能性
18 一階算術
19 算術的真理は形式化できない
20 ペアノ算術の不完全性

パズル・クイズ ランキング

パズル・クイズのランキングをご紹介します一覧を見る

前へ戻る

次に進む