登入選單

返回Google圖書搜尋

Cornerstones of Undecidability

Grzegorz RozenbergArto Salomaa

出版	Prentice Hall, 1994
主題	Computers / GeneralMathematics / Discrete MathematicsMathematics / Logic
ISBN	01329742589780132974257
URL	http://books.google.com.hk/books?id=4oFQAAAAMAAJ&hl=&source=gbs_api

註釋

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.