Janna Levin - Connecting Turing and Gödel (via searchlore.ai)