Comment on Normal Cryonics

Thu, 21 Jan 2010 07:59:45 GMT

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.

Discuss