Richardson's theorem

English

Etymology

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

Proper noun

Richardson's theorem

  1. (computing theory) A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.