Very interesting that you can prove the halting problem and Godel's Incompletene...

		aty268 on Nov 2, 2020 \| parent \| context \| favorite \| on: The Busy Beaver Frontier – Humanity's quest agains... Very interesting that you can prove the halting problem and Godel's Incompleteness Theorem independently with this thought experiment.