A Short History of Algorithms