In mathematics, Richardson's theorem establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.
A matematikában a Richardson-tétel megmutatja, milyen mértékben döntheti el egy algoritmus, hogy bizonyos matematikai kifejezések egyenlőek.