刘维尔数 swMATH ID: 28567 软件作者: 曼纽尔·埃贝尔 描述: Liouville数是一类超越数,可以用有理数很好地逼近。历史上,他们是第一批超越性被证明的数字。在这篇文章中,我们定义了刘维尔数的概念以及获得刘维尔数(包括刘维尔常数)的标准结构,并证明了其最重要的性质:非理性和超越性。这个证明非常简单,只需要标准的算术、多项式的中值定理以及多项式在紧区间上的有界性。 主页: https://www.isa-afp.org/entries/Liouville_Numbers.html 依赖项: 伊莎贝尔 相关软件: 存档正式证据;米扎尔 引用于: 2文件 3位作者引用 2 亚当·格拉博夫斯基 2 阿图尔·科尔尼·奥维茨 1 亚当·纳莫维奇 连载1篇 2 形式化数学 在2个字段中引用 2 数学逻辑和基础(03-XX) 2 数论(11-XX) 按年份列出的引文