Malcolm Longair is Professor Emeritus of Natural Philosophy, University of Cambridge, and Director of Development at the Cavendish Laboratory, Cambridge….

Mike Glazer is Emeritus Professor of Physics at the University of Oxford and Visiting Professor at the University of Warwick….

Mike Gordon is Professor of Computer Assisted Reasoning at the University of Cambridge Computer Laboratory. For the special issue of Philosophical Transactions A…