Scott Aaronson - The Role of Set Theory in Computability (via searchlore.ai)