[seqfan] Re: The Busy Beaver Game Illuminates the Fundamental Limits of Math | Quanta Magazine

[Jack Grahl]

I enjoyed the article, but found it frustrating that yet again the Busy
Beaver problem is presented as a sort of 'cheat code' for mathematics. Find
BB(27) and then the Goldbach conjecture will be trivial, etc. My
understanding is that it's actually the other way around. To find BB(27)
you have to actually prove or disprove the Goldbach conjecture, as well as
countless other very similar, but less interesting problems.

On Sun, 13 Dec 2020, 07:52 Bob Lyons, <boblyonsnj at gmail.com> wrote:

> Dam good article on the Busy Beaver problem:
>
>
> https://www.quantamagazine.org/the-busy-beaver-game-illuminates-the-fundamental-limits-of-math-20201210/
>
> Here’s the Busy Beaver sequence:
> http://oeis.org/A060843
>
> Bob
>
>
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>