Joel David Hamkins - Computability theory (via searchlore.ai)