Continued fractions of primitive recursive real numbers

DOI10.1002/malq.201400013zbMath1357.03076OpenAlexW2144393342MaRDI QIDQ2947235

Ivan Georgiev

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

zbMATH Keywords

polynomial growthcontinued fractionGrzegorczyk class\(\mathcal{E}^2\)-computability\(\mathcal{E}^2\)-irrationality

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

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