スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 [単行本]

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 の 商品概要

• 要旨（「BOOK」データベースより）

  悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。

• 目次（「BOOK」データベースより）

  １　意外な展開！？
  ２　偽と真の論理学
  ３　騎士・奇人・命題論理
  ４　慎重にいこう
  ５　整合性のジレンマ
  ６　自己充足信念とレーブの定理
  ７　さらなる深みへ
  ８　決められない！
  ９　可能世界
  １０　事件の核心
  １１　フィナーレ

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  スマリヤン,レイモンド(スマリヤン,レイモンド／Smullyan,Raymond)
  １９１９年生まれ。シカゴ大学卒業後、プリンストン大学で博士号を取得。インディアナ大学名誉教授、ニューヨーク市立大学名誉教授。数学者、論理学者として知られる一方で、ピアノ演奏のＣＤを出したり、プロの手品師でもある
  
  田中 朋之(タナカ トモユキ)
  １９６２年生まれ。慶応大学卒業。インディアナ大学修士。カリフォルニア大学デービス校Ｊｕｒｉｓ　Ｄｏｃｔｏｒ。日本ＩＢＭ東京基礎研究所を経て、現在は米国カリフォルニア州弁護士。専門は特許法。コンピュータサイエンス、Ｌｉｓｐ処理系、社会問題に関する論文多数
  
  長尾 確(ナガオ カタシ)
  １９６２年生まれ。１９８５年東京工業大学工学部卒業。１９８７年東京工業大学大学院総合理工学研究科修士課程修了。日本アイ・ビー・エム（株）東京基礎研究所、（株）ソニーコンピュータサイエンス研究所、イリノイ大学アーバナ・シャンペーン校客員研究員、名古屋大学工学研究科助教授を経て、２００２年より名古屋大学情報メディア教育センター教授。セマンティックマルチメディアと未来の乗物に関する研究に取り組んでいる。工学博士

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 の商品スペック