Scott Aaronson - The Intersection of Logic and Computability (via searchlore.ai)