Bulat Ziganshin wrote: > Hello Yitzchak, > Thursday, December 27, 2007, 12:10:21 PM, you wrote: >> In particular, >> two functions are equal only if they produce >> the same value for every input, and in general it is >> impossible for a computer to check that. > > "for a computer" is superfluous here. people are not smarter than > computers and can't do anything that's impossible for computers
I don't think my computer can be sorry, but I know I can be. And don't forget that there are 'undecidable' problems. Cheers Ben _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
