Some of the things I've learned every day since Oct 10, 2016
51: Undecidability of Equality of Lambda Expressions
November 30, 2016Posted by on
In general, there is no algorithm which determines whether two lambda expressions are equivalent under the reduction rules of the lambda calculus. This is the problem for which the first proof of undecidability was given.