The Busy Beaver Frontier – Humanity's quest against the uncomputable(dwarkesh.substack.com)

https://dwarkesh.substack.com/p/paper-review-the-busy-beaver-frontier

1 comments

aty2686 anni fa

Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.