He developed a system of mathematical expressions called Lambda Calculus and demonstrated that no such universal algorithm could exist.

他开发了一个称为 Lambda 微积分的数学表达式系统，并证明不存在这样的通用算法。