Scott Aaronson - The Limits of Set Theory and Busy Beaver (via searchlore.ai)