Page 1

Displaying 1 – 2 of 2

Showing per page

Introduction to Liouville Numbers

Adam Grabowski, Artur Korniłowicz (2017)

Formalized Mathematics

The article defines Liouville numbers, originally introduced by Joseph Liouville in 1844 [17] as an example of an object which can be approximated “quite closely” by a sequence of rational numbers. A real number x is a Liouville number iff for every positive integer n, there exist integers p and q such that q > 1 and [...] It is easy to show that all Liouville numbers are irrational. Liouville constant, which is also defined formally, is the first transcendental (not algebraic) number. It is...

Currently displaying 1 – 2 of 2

Page 1