411 REFERENCE · Wiktionary
Richardson's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
It was proved in 1968 by computer scientist Daniel Richardson of the University of Bath.
Proper noun
en comptheory A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.
en eponyms