Richardson's theorem

短语

释义与例句

name
  1. 1.

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

    计算机 工程 数学

词源

It was proved in 1968 by computer scientist Daniel Richardson of the University of Bath.

来源：wiktionary