Thinking about Gödel and Turing
Subtitle: essays on complexity 1970-2007
By: Gregory J Chaitim ; with a foreword by Paul Davies.
Publisher: World Scientific
Published: 2007
Place of publication: Hackensack, N.J
Language: eng
Number of pages: 347
ISBN-13: 9789812708960; 9789812708953
Subjects: Gödel's theorem.; Incompleteness theorems.; Logic, Symbolic and mathematical.; Metamathematics.; Computational complexity.
Other titles: Gödel and Turing
Notes: Includes bibliographical references and index.