Warp wrote:

>   Humans are bound to the same limitations as computers. If it has been
> proven that a certain problem is not solvable, a human cannot solve it
> either.

Curiosly, they just happen to be having this exact debate on one of the 
Haskell mailing lists right now. (Evidently some people actually believe 
that the human mind is capable of deductions that are beyond 
Turing-completeness. Naturally, they offer no basis for this belief 
beyond the fact that computers don't program themselves yet...)

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message