A362199 Decimal expansion of the sum of the reciprocals of the Busy Beaver numbers (A060843).

1, 2, 2, 3, 6, 3, 1

Offset

1,2

Comments

Equal to 1/BB(1) + 1/BB(2) + 1/BB(3) + ...

Equal to 1/A060843(1) + 1/A060843(2) + 1/A060843(3) + ...

A homework assignment in Scott Aaronson's "PHYS771 Lecture 3: Gödel, Turing, and Friends" (see links) asks if 1/BB(1) + 1/BB(2) + 1/BB(3) + ... is a computable real number. Scott Aaronson's "PHYS771 Lecture 4: Minds and Machines" (see links), which provides the answers to the homework assignment, proves that the number is not computable.

Links

Table of n, a(n) for n=1..7.

Scott Aaronson, PHYS771 Lecture 3: Gödel, Turing, and Friends.

Scott Aaronson, PHYS771 Lecture 4: Minds and Machines.

Formula

1/A060843(1) + 1/A060843(2) + 1/A060843(3) + ...

Example

1.223631...

Crossrefs

Cf. A060843.

Sequence in context: A284785 A076333 A015051 * A260389 A291372 A064426

Adjacent sequences: A362196 A362197 A362198 * A362200 A362201 A362202

Keyword

nonn,cons,hard

Author

Robert C. Lyons, Apr 10 2023

Status

approved