The story
It was proved in 1968 by computer scientist Daniel Richardson of the University of Bath.
Etymology from Wiktionary, CC BY-SA 4.0.
Richardson's theorem
Today it means: A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal. Full definition →