Richardson's theorem

专有名词

英文释义

专有名词
  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.
0 次浏览 数据来源: Wiktionary