English Dictionary

Richardson's theorem forced the team to abandon their plan to build a complete algorithm for deciding when arbitrary real-exponential expressions are equal.

式の等価性をアルゴリズムが判定できる範囲に限界を示す定理により、チームは任意の実数指数式が等しいかどうかを完全に判定するアルゴリズムの構築を断念せざるを得なかった。