Richardson's Theorem

In mathematics, Richardson's theorem establishes the undecidability of the equality of real numbers defined by expressions involving integers, pi, the natural logarithm base, and exponential and sine functions. It was proved in 1968 by mathematician and computer scientist Daniel Richardson of the University of Bath. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/