Based on Tononi's earlier work on Integrated Information Theory, apparently, Maguire et al. have come up with a formulation of consciousness as a lossless integration of information that requires noncomputable functions, which implies that consciousness cannot be modeled computationally.
http://www.newscientist.com/article/dn25560-sentient-robots-not-possible-if-you-do-the-maths.html
I'm personally skeptical of this, but their paper (seen here: http://arxiv.org/abs/1405.0126v1) has some impressive looking formal mathematical proofs that I will admit I lack the mathematical competence to judge the veracity of. Anyone with greater mathematical acumen want to take a look?
As with most papers in this genre, the trouble probably won't be the math. The trouble will be in the interface between the math and the thing it's supposed to be describing.
Yup. In particular, most people I know don't take Tononi's theory of consciousness seriously, and neither do I.