An edition of Thinking about Gödel and Turing (2007)
essays on complexity 1970-2007
By Gregory J. Chaitim
Publish Date
2007
Publisher
World Scientific
Language
eng
Pages
347
Description:
subjects: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics, Symbolic and mathematical Logic, Goedel's theorem