A good book as such. However, whereas the authors claim that they outline the pr...

alok-g on June 17, 2021 | parent | context | favorite | on: 1931: Kurt Gödel shows limits of math, logic, comp...

A good book as such. However, whereas the authors claim that they outline the proof in chapter 6, that chapter fell short of it with key aspects of the proof missing. Overall, I was disappointed.