Primitive recursive real numbers
โ
Qingliang Chen; Kaile Su; Xizhong Zheng
๐
Article
๐
2007
๐
John Wiley and Sons
๐
English
โ 168 KB
## Abstract In mathematics, various representations of real numbers have been investigated. All these representations are mathematically equivalent because they lead to the same real structure โ Dedekindโcomplete ordered field. Even the effective versions of these representations are equivalent in