Yeah, Penrose's position that the human brain is a hypercomputer isn't really supported by known physics, but there's still enough unknown and poorly understood physics that it can't be ruled out. His "proof" that human brains are hypercomputers based on applying Godel's incompleteness theorem to human mathematical reasoning, however, missed the obvious loophole: Godel's theorem only applies to consistent systems, and human reasoning is anything but consistent!