In mathematics, Richardson's theorem establishes the undecidability of the equality of real numbers defined by expressions involving integers, π, ln 2, and exponential and sine functions. It was proved in 1968 by the mathematician and computer scientist Daniel Richardson of the University of Bath.
In mathematics, Richardson's theorem establishes the undecidability of the equality of real numbers defined by expressions involving integers, π, ln 2, and exponential and sine functions. It was proved in 1968 by the mathematician and computer scientist Daniel Richardson of the University of Bath.
Source: Wikipedia "Richardson's theorem" · CC BY-SA 4.0
Share this article: X · Bluesky