Scott Aaronson - Contradictions in Computability (via searchlore.ai)