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!

I thought the obvious loophole was that brains aren't formal systems.