2014 Paul Bernays Lectures