3 ms·The Busy Beaver Frontier – Humanity's quest against the uncomputable2 points by dwarkesh 6y agoaty268 6y agoVery interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.