English Explanatory Dictionary

Richardson's theorem

English dictionary entry

Meanings

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

Word forms

Richardson's theorem

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on R Russian dictionary Dahl dictionary