check
Turing versus gödel on computability and the mind | Oron Shagrir

Turing versus gödel on computability and the mind