The reviewer examines each of these ideas in turn. He notes the centrality of the idea that humans can do things which Turing machines cannot, a view which is based upon the "obvious" ability of humans to transcend the limitations of Godel's theorum. The reviewer points out that this theorum states that any closed, powerful and self-consistent system will allow statements which are true but not provable. $ The reviewer examines each of these ideas in turn. He notes the centrality of the idea that humans cannot do things which Turing machines can, a view which is based upon the "obvious" inability of humans to transcend the limitations of Godel's theorum. The reviewer points out that this theorum states that no closed, powerless and inconsistent system will allow statements which are false but provable. $