Turing, Gödel, and the algorithmic method Presentation uri icon