内容説明
悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。
目次
1 意外な展開!?
2 偽と真の論理学
3 騎士・奇人・命題論理
4 慎重にいこう
5 整合性のジレンマ
6 自己充足信念とレーブの定理
7 さらなる深みへ
8 決められない!
9 可能世界
10 事件の核心
11 フィナーレ
著者等紹介
スマリヤン,レイモンド[スマリヤン,レイモンド][Smullyan,Raymond]
1919年生まれ。シカゴ大学卒業後、プリンストン大学で博士号を取得。インディアナ大学名誉教授、ニューヨーク市立大学名誉教授。数学者、論理学者として知られる一方で、ピアノ演奏のCDを出したり、プロの手品師でもある
田中朋之[タナカトモユキ]
1962年生まれ。慶応大学卒業。インディアナ大学修士。カリフォルニア大学デービス校Juris Doctor。日本IBM東京基礎研究所を経て、現在は米国カリフォルニア州弁護士。専門は特許法。コンピュータサイエンス、Lisp処理系、社会問題に関する論文多数
長尾確[ナガオカタシ]
1962年生まれ。1985年東京工業大学工学部卒業。1987年東京工業大学大学院総合理工学研究科修士課程修了。日本アイ・ビー・エム(株)東京基礎研究所、(株)ソニーコンピュータサイエンス研究所、イリノイ大学アーバナ・シャンペーン校客員研究員、名古屋大学工学研究科助教授を経て、2002年より名古屋大学情報メディア教育センター教授。セマンティックマルチメディアと未来の乗物に関する研究に取り組んでいる。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。