>>>>> "Jerzy" == Jerzy Karczmarczuk <[EMAIL PROTECTED]> writes:
> Somebody tried to suggest that lambda provides a kind of logarithm...
In defense of it I can offer the following laws, which follow from
the eta-rule of lambda calculus. Just regard log_x ... as alternative
notation for \ x -> ...
log_x (a * b) = log_x a + log_x b
log_x 1 = 0
log_x x = 1
log_x (a ^ b) = (log_x a) * b , x not free in b .
I only meant that if abstraction and application are somehow inverse,
and if application is exponentiation, then abstraction must be some
kind of logarithm, and in a strange formal sense it does seem to
satisfy some of the crucial laws.
--
Peter
