Forever Undecided: A Puzzle Guide to Godel

@inproceedings{Smullyan1987ForeverUA,
  title={Forever Undecided: A Puzzle Guide to Godel},
  author={Raymond M. Smullyan},
  year={1987}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

Ethical lessons learned from computer science

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Situated Modeling of Epistemic Puzzles

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Backward Induction and Repeated Games With Strategy Constraints: An Inspiration From the Surprise Exam Paradox

VIEW 1 EXCERPT
CITES BACKGROUND

Foundations of Knowledge Systems

  • Gerd Wagner
  • Computer Science
  • The Kluwer International Series on Advances in Database Systems
  • 1998