An edition of Thinking about Gödel and Turing (2007)

Thinking about Gödel and Turing

essays on complexity 1970-2007

By Gregory J. Chaitim

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

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