Scott Aaronson - The Busy Beaver Paradox (via searchlore.ai)