Continued fractions of primitive recursive real numbers
From MaRDI portal
Publication:2947235
DOI10.1002/malq.201400013zbMath1357.03076OpenAlexW2144393342MaRDI QIDQ2947235
Publication date: 22 September 2015
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201400013
polynomial growthcontinued fractionGrzegorczyk class\(\mathcal{E}^2\)-computability\(\mathcal{E}^2\)-irrationality
Related Items (3)
Computable irrational numbers with representations of surprising complexity ⋮ Liouville numbers and the computational complexity of changing bases ⋮ Dedekind cuts and long strings of zeros in base expansions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Super-exponentials nonprimitive recursive, but rudimentary
- Improvement in the irrationality measures of \(\pi\) and \(\pi^ 2\)
- Formula2-computable real numbers
- Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
- <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mi mathvariant="script">E</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math>-computability of e, π and Other Famous Constants
- On primitive recursive real numbers
This page was built for publication: Continued fractions of primitive recursive real numbers