El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un algoritmo general.