Pith. sign in

REVIEW

Subrecursive Approximations of Irrational Numbers by Variable Base Sums

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1804.05330 v2 pith:5DX7WDQX submitted 2018-04-15 math.LO

classification math.LO
keywords numberscomputabilityirrationalsumsexpansionsinfinitenumericalreal
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these representations yield the same class of real numbers. If we work with some restricted notion of computability, e.g., polynomial time computability or primitive recursiveness, they do not. Irrational numbers can be represented by infinite sums of certain forms. We prove some results related to representation of irrational numbers by infinite sums.

Discussion (0). Continue with ORCID to comment.

Pith tools