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

[Bob Lyons]

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