Liouville number, in algebra, an irrational number α such that for each positive integer n there exists a rational number p/q for which p/q < |α − (p/q)| < 1/qn. All Liouville numbers are transcendental numbers—that is, numbers that cannot be expressed as the solution (root) of a polynomial equation with integer coefficients. Such numbers are named for the French mathematician Joseph Liouville, who first proved the existence of transcendental numbers in 1844 and constructed the first proven transcendental number, known as Liouville’s constant, in 1850.