Is it possible to formally prove that the human mind is equivalent in computational capacity to a Turing machine?
Some papers that were helpful to me in understanding this issue:
Minds, Machines and Gödel, J.R. Lucas http://users.ox.ac.uk/~jrlucas/mmg.html
Gödel's Incompleteness Theorem is Not an Obstacle to Artificial Intelligence, Jeff Makey http://www.sdsc.edu/~jeff/Godel_vs_AI.html
Minds, Machines and Gödel: a Retrospect, J.R. Lucas http://etabeta.univ.trieste.it/dspace/bitstream/10077/5476/1/Lucas6_E%26P_V_2003_1.pdf