Writing algorithms in mathematics rather than code is not only more elegant but also more efficient, says 2013 Turing Award winner Leslie Lamport.

This year’s Turing Award honors algorithms that underpin everything from cloud computing to multicore processors.