スマリヤンのゲーデル・パズル

  • 日本評論社
3.00
  • (0)
  • (0)
  • (1)
  • (0)
  • (0)
本棚登録 : 40
感想 : 3
本ページはアフィリエイトプログラムによる収益を得ています
  • Amazon.co.jp ・本 (344ページ)
  • / ISBN・EAN: 9784535787544

感想・レビュー・書評

並び替え
表示形式
表示件数
絞り込み
  • 【選書フェア2015】
    資料ID:98150937
    請求記号:410.79||S
    配置場所:工枚選書フェア

  • 原題: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 ペアノ算術の不完全性

  • 請求記号 410.79/Sm 8

全3件中 1 - 3件を表示

著者プロフィール

アメリカ、ニューヨーク市生まれ。シカゴ大学で修士号、プリンストン大学で博士号を取得。数学(数理論理学)と哲学をダートマス大学、プリンストン大学、ニューヨーク市立大学、リーマン・カレッジなどで教えたことがある。専門の著作のほか、マーティン・ガードナーが「もっとも深淵でユーモラスな数学・論理学ゲーム集」と絶賛した『この本の名は』はじめ、数多くの作品をものしている。プロフェッショナルな手品師にしてピアニストでもある多芸な奇才。ロングアイランドで夫人と犬に囲まれて仙人のごとく暮らしているという噂。

「2016年 『タオは笑っている 改訂版 愉快な公案集』 で使われていた紹介文から引用しています。」

レイモンド・M・スマリヤンの作品

  • 話題の本に出会えて、蔵書管理を手軽にできる!ブクログのアプリ AppStoreからダウンロード GooglePlayで手に入れよう
ツイートする
×