Cornerstones of undecidability
著者
書誌事項
Cornerstones of undecidability
(Prentice-Hall International series in computer science)
Prentice Hall, 1994
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 193-194) and index
内容説明・目次
内容説明
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.
目次
- Halting problem
- post correspondence problem
- diophantine problems
- classes of problems and proofs
- the secret number.
「Nielsen BookData」 より