決定不能の論理パズル : ゲーデルの定理と様相論理

Author(s)

• Smullyan, Raymond M.
• 長尾, 確 ナガオ, カタシ
• 田中, 朋之 タナカ, トモユキ

Bibliographic Information

決定不能の論理パズル : ゲーデルの定理と様相論理

レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳

白揚社, 1990.11

Other Title

Forever undecided : a puzzle guide to Gödel

Title Transcription

ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ

Access to Electronic Resource 1 items

• 決定不能の論理パズル : ゲーデルの定理と様相論理

  1990

  NDL Digital Collections

  Limited

Note

原著(New York : A.Knopf, 1987)の全訳

索引: 巻末

Description and Table of Contents

Description

『ゲーデル、エッシャー、バッハ』、『数学から超数学へ』につづきまた１冊、現代数学の巨人ゲーデルの世界を明快に解説。

Table of Contents

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

by "BOOK database"

Details

• NCID: BN05489989
• ISBN:
  • 4826900449
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: 279p
• Size: 22cm
• Classification:
  • NDC8 : 410.9
  • NDC8 : 116.3
  • NDC8 : 410.96
  • NDC7 : 410.1
  • NDLC : MA41
• Subject Headings:
  • BSH : 数学基礎論
  • NDLSH : ゲーデルの定理
  • FREE : Gödel, Kurt, 1906-1978