Skip to content

Stoneham number

In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G.

Version
v1 · 2026-09-28 · History
Domain-specific #
12292
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Number Theory → Mathematics

Core Idea

Stoneham number is treated here as the recurring number theory identity summarized by this source-grounded definition: In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G. In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G. For coprime numbers b, c > 1, the Stoneham number α b,c is defined as. \alpha{b,c} = \sum{n=c^k>1} \frac{1}{b^nn} = \sum{k=1}^\infty \frac{1}{b{ck}c^k}.

Scope of Application

  • Documented setting. In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G.

  • Documented setting. For coprime numbers b, c > 1, the Stoneham number α b,c is defined as.

  • Documented setting. \alpha{b,c} = \sum{n=c^k>1} \frac{1}{b^nn} = \sum{k=1}^\infty \frac{1}{b{ck}c^k}.

  • Documented setting. It was shown by Stoneham in 1973 that α b,c is b-normal whenever c is an odd prime and b is a primitive root of c 2 .

  • Documented setting. In 2002, Bailey & Crandall showed that coprimality of b, c > 1 is sufficient for b-normality of α b,c .

Clarity

A clear use of Stoneham number names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G.

Manages Complexity

Stoneham number compresses multiple number theory details into a stable diagnostic relation. The source shows both the central mechanism—in mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G.—and the practical consequence—it was shown by Stoneham in 1973 that α b,c is b-normal whenever c is an odd prime and b is a primitive root of c 2 .

Abstract Reasoning

  1. Type the carrier. Identify the number theory entities to which the claim applies.
  2. State the relation. Use the source-grounded identity: In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G.
  3. Check operation and conditions. For coprime numbers b, c > 1, the Stoneham number α b,c is defined as.
  4. Demand recognition evidence. \alpha{b,c} = \sum{n=c^k>1} \frac{1}{b^nn} = \sum{k=1}^\infty \frac{1}{b{ck}c^k}. 5.

Knowledge Transfer

Within the home domain. Knowledge about Stoneham number transfers literally when a new case preserves the same carrier type, relation, and recognition test. In mathematics, the Stoneham numbers are a certain class of real numbers, named after mathematician Richard G. For coprime numbers b, c > 1, the Stoneham number α b,c is defined as. Beyond the home domain. No canonical parent is asserted for Stoneham number. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Relationships to Other Abstractions

Local relationship map for Stoneham numberParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Stoneham numberDOMAINDomain-specific abstraction: Normal Number — is a kind ofNormal NumberDOMAIN

Current abstraction Stoneham number Domain-specific

Parents (1) — more general patterns this builds on

  • Stoneham number is a kind of Normal Number Domain-specific

    Stoneham numbers are the constructed real numbers whose entire mathematical significance is that they are provably normal to their base.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Stoneham number sits in a sparse region of the domain-specific corpus (78th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Structures & Order Relations (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08