@lcamtuf@infosec.exchange I've got a book by Roger Penrose that says that Gödel's proof shows that there is something ineffable (or at least uncomputable) about the human mind, and another by Douglas Hofstadter that says No it doesn't. To be fair I think they do both talk about the halting problem.