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.
$