The halting problem constrains human and machine alike, right? Or are you suggesting there is something unqiue about the human mind that allows us to do things machines cannot do in principle? Most people in the field believe in substrate-independence.