From algorisms to computability theory Presentation uri icon