This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form. The authors are of international repute and they provide a modern and authoritative treatment of undecidability with special emphasis on rigorous proofs. Numerous worked examples are included.
"synopsis" may belong to another edition of this title.
Book Description Financial Times Prentice Hall, 1994. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780132974257