This talk was given at Wolfson College on 28 May 2009 as part of the 'Lives and Works' series of lectures