[Haskell-cafe] Re: Re: Re[2]: Wikipedia on first-class object
Miguel Mitrofanov
miguelimo38 at yandex.ru
Sat Dec 29 16:15:31 EST 2007
>> 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.
>
> It hasn't been proved that we can't build a device that can decide
> equality for arbitrary functions, either.
I'm sure it can be proved that any mathematical problem can be
reduced to equality of two functions, so our ability to decide it
contradicts Goedel theorem.
More information about the Haskell-Cafe
mailing list