Richard Karp - Turing Machines and Computational Universality (via searchlore.ai)