Forever Undecided by Raymond M Smullyan

Forever Undecided by Raymond M Smullyan

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.

SKU	Unavailable
ISBN 13
Title	Forever Undecided
Author	Raymond M Smullyan
Condition	Unavailable
Binding Type
Publisher
Year published
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.