I've read Gödel's Proof by Nagel & Newman and I feel confused about there philosophical remarks on impossibility of computer to emulate human's mind. I don't understand how does that really follows from Gödel theorems. Of course I can see direct similarities of tools Gödel used in his proof with ideas which forms fundament of todays computer science: reccurent functions, encoding and calculation of formulas as strings, etc. But what are the real conclusions of Godel's incompletness theorem in terms of computability? Can one really say that since the Theorem was prooved we know now that something can be calculated and something not?