The 2011 Wolfson College Haldane Lecture was given by Sir Tony Hoare, Emeritus Professor at Oxford University Computing Laboratory and a principal researcher at Microsoft Research in Cambridge, UK. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/