# Richardson's theorem

> English word · Proper noun

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

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

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/richardson-s-theorem