%I #6 Apr 10 2023 20:11:55
%S 1,2,2,3,6,3,1
%N Decimal expansion of the sum of the reciprocals of the Busy Beaver numbers (A060843).
%C Equal to 1/BB(1) + 1/BB(2) + 1/BB(3) + ...
%C Equal to 1/A060843(1) + 1/A060843(2) + 1/A060843(3) + ...
%C 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.
%H Scott Aaronson, <a href="https://www.scottaaronson.com/democritus/lec3.html">PHYS771 Lecture 3: Gödel, Turing, and Friends</a>.
%H Scott Aaronson, <a href="https://www.scottaaronson.com/democritus/lec4.html">PHYS771 Lecture 4: Minds and Machines</a>.
%F 1/A060843(1) + 1/A060843(2) + 1/A060843(3) + ...
%e 1.223631...
%Y Cf. A060843.
%K nonn,cons,hard
%O 1,2
%A _Robert C. Lyons_, Apr 10 2023