𝔖 Bobbio Scriptorium
✦   LIBER   ✦

About primitive recursive algorithms

✍ Scribed by Loïc Colson

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
995 KB
Volume
83
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On primitive recursive algorithms and th
On primitive recursive algorithms and the greatest common divisor function
✍ Yiannis N. Moschovakis 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 341 KB

We establish linear lower bounds for the complexity of non-trivial, primitive recursive algorithms from piecewise linear given functions. The main corollary is that logtime algorithms for the greatest common divisor from such givens (such as Stein's) cannot be matched in e ciency by primitive recurs

Primitive recursive real numbers
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