English Dictionary

Richardson's theorem

固有名詞

(computing theory) A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.

日本語の意味

計算理論における定理で、特定の数学的表現が等しいかどうかをアルゴリズムが決定できる範囲に限界があることを示している。

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

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

意味（1）

(computing theory) A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.