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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
