English[edit]
Etymology[edit]
It was proved in 1968 by computer scientist Daniel Richardson of the University of Bath.
Proper noun[edit]
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.
