[Haskell-cafe] Re: Re: Re[2]: Wikipedia on first-class object

[Andrew Coppin]

Ben Franksen wrote:
> In many cases, equality of functions has been decided by humans, as has
> termination of programs. Of course this doesn't prove that humans can, in
> principle, decide equality for any pair of functions. But neither has the
> opposite been proved.
>   

Interesting... So you're claiming that humans have powers of deduction 
beyond what computers possess? ;-)

Note that no theorum claims that a computer can never tell whether a 
given pair of functions are equivilent. The theorum is that a computer 
will never be able to tell for *every possible* pair of functions, 
that's all.