SPECKER SEQUENCE
14 / 16
a₁₃ ≈ 0.975
Each term is rational, each is computable, each is less than the next. Yet the limit transcends computation.
Gap to bound: ~0.025.
This phenomenon is why computable analysis requires a different foundation than classical analysis.
Specker (1949) · computable analysis · rotates daily