Forever undecided : a puzzle guide to Gödel

著者

書誌事項

Forever undecided : a puzzle guide to Gödel

by Raymond Smullyan

Oxford University Press, 1988, c1987

大学図書館所蔵 件 / 全27件

この図書・雑誌をさがす

内容説明・目次

内容説明

This book provides an introduction to Kurt Godel's theorems through a collection of puzzles interspersed with an account of symbolic logic. Godel's argument has been transferred from the formal domain of mathematical systems in an attempt to make its essential ideas more accessible to the general reader. The primary emphasis is on belief systems and how they are related to systems of mathematics. This leads to the subject of possible world semantics which plays a role in computer science and artificial intelligence.

目次

  • Part 1 You might be surprised: a diabolical puzzle
  • surprised. Part 2 The logic of lying and truth telling: the census taker
  • in search of Oona
  • an interplanetary tangle. Part 3 Knights, knaves and propositional logic: a bit of propositional logic
  • logical closure and consistency. Part 4 Let's be careful: paradoxical
  • the problem deepens. Part 5 The consistency predicament: logicians who reason about themselves
  • the conistency predicament
  • Godelian systems
  • more consistency predicaments. Part 6 Self-fulfilling beliefs and Lob's theorem: self-fulfilling beliefs
  • the Rajah's diamond
  • Lob's island. Part 7 In deeper waters: reasoners of type G
  • modesty, reflexivity and stability. Part 8 Can't decide: forever undecided
  • more indecisions. Part 9 Possible worlds: it ain't necessarily so
  • from necessity to provability. Part 10 The heart of the matter: a Godelized universe
  • some remarkable logic machines
  • modal systems self-applied. Part 11 Finale: modal systems, machines and reasoners
  • some strange reasoners
  • in retrospect.

「Nielsen BookData」 より

詳細情報

ページトップへ