Copyright 2013 Elsevier Inc. All rights reserved
No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means electronic, mechanical, photocopying, recording or otherwise without the prior written permission of the publisher Permissions may be sought directly from Elseviers Science & Technology Rights Department in Oxford, UK: phone (+44) (0) 1865 843830; fax (+44) (0) 1865 853333; email: , and selecting Obtaining permission to use Elsevier material
No responsibility is assumed by the publisher for any injury and/or damage to persons or property as a matter of products liability, negligence or otherwise, or from any use or operation of any methods, products, instructions or ideas contained in the material herein. Because of rapid advances in the medical sciences, in particular, independent verification of diagnoses and drug dosages should be made
List of Contributors
Alastair Abbott , Department of Computer Science, The University of Auckland, Auckland, New Zealand
Samson Abramsky , Department of Computer Science, Oxford University, Oxford, UK
Henk Barendregt , Institute for Computing and Information Sciences, Faculty of Science, Radboud University, Nijmegen, The Netherlands
Craig Bauer , Department of Physical Sciences, York College of Pennsylvania, York, PA, USA
Anthony Beavers , Philosophy & Cognitive Science, The University of Evansville, Evansville, IN, USA
Vernica Becher , Departamento de Computacin, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires and CONICET, Ciudad Universitaria, Buenos Aires, Argentina
Nelson H. F. Beebe , Department of Mathematics, University of Utah, Salt Lake City, UT, USA
Henri Berestycki , University of Chicago, and L cole des hautes tudes en sciences sociales (EHESS), Paris, France
Meurig Beynon , Department of Computer Science, University of Warwick, Coventry, UK
Mark Bishop , Department of Computing, Goldsmiths, University of London, New Cross, London, UK
Lenore Blum , School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA
Rodney Brooks , Emeritus Professor of Robotics, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, USA
Cristian Calude , Department of Computer Science, The University of Auckland, Auckland, New Zealand
Gregory Chaitin , Professor of Mathematics, Federal University of Rio de Janeiro (UFRJ), Rio de Janeiro, Argentina
Jack Copeland , School of Social and Political Sciences, University of Canterbury, Christchurch, New Zealand
Martin Davis , Department of Mathematics, University of California, Berkeley, CA, USA
Daniel Dennett , Center for Cognitive Studies, Tufts University, Medford, MA, USA
Artur Ekert , Mathematical Institute, University of Oxford, Oxford, UK and Centre for Quantum Technologies, National University of Singapore, Singapore
Solomon Feferman , Department of Mathematics, Stanford University, Stanford, CA, USA
Luciano Floridi , School of Humanities, University of Hertfordshire, Hertfordshire, and Department of Computer Science, University of Oxford, Oxford, UK
Juliet Floyd , Philosophy Department, Boston University, Boston, MA, USA
Lance Fortnow , School of Computer Science, Georgia Institute of Technology, Atlanta, USA
Einar Fredriksson , IOS Press, Amsterdam, The Netherlands
Nicholas Gessler , Information Science & Information Studies, Duke University, Durham, NC, USA
Rainer Glaschick , Paderborn, Germany
David Harel , Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
John Harper , Retired, Honorary Fellow of the British Computer Society
Dennis Hejhal , School of Mathematics, University of Minnesota, Minneapolis, MN, USA
Andrew Hodges , Wadham College, Oxford University, Oxford, UK
Douglas Hofstadter , College of Arts and Sciences, Center for Research on Concepts and Cognition, Indiana University, Bloomington, IN, USA
Toby Howard , School of Computer Science, The University of Manchester, Manchester, UK
Cliff Jones , School of Computing Science, Newcastle University, Newcastle, UK
Richard Jozsa , DAMTP, Centre for Mathematical Sciences, University of Cambridge, Cambridge, UK
Jan van Leeuwen , Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
David Levy , Intelligent Toys Ltd, London, UK
Philip Maini , Centre for Mathematical Biology, Mathematical Institute, Oxford University, Oxford, UK
Giulio Manzonetto , LIPN - Institut Galile, Universit Paris-Nord, Villetaneuse, France
Hans Meinhardt , Max-Planck-Institut fr Entwicklungsbiologie, Tbingen, Germany
Peter Millican , Faculty of Philosophy, Oxford University, Oxford, UK
James D. Murray , Professor Emeritus, Mathematical Institute, University of Oxford, Oxford, UK
Andrew Odlyzko , School of Mathematics, University of Minnesota, Minneapolis, MN, USA
Christos Papadimitriou , EECS Department, University of California, Berkeley, CA, USA
Rinus Plasmeijer , Institute for Computing and Information Sciences, Faculty of Science, Radboud University, Nijmegen, The Netherlands
Antonino Raffone , Department of Psychology, Sapienza University of Rome, Rome, Italy
Michael Rathjen , School of Mathematics, University of Leeds, Leeds, UK
Bernard Richards , Emeritus Professor of Medical Informatics, University of Manchester, Manchester, UK
Anthony Edgar Tony Sale, FBCS (30 January 193128 August 2011) , Founder member Bletchley Park Trust, leader Colossus rebuild project
Peter T. Saunders , Department of Mathematics, Kings College, Strand, London, UK
Klaus Schmeh , Gelsenkirchen, Germany
Huma Shah , School of Systems Engineering, University of Reading, Reading, UK
Wilfried Sieg , Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA
Aaron Sloman , School of Computer Science, University of Birmingham, Birmingham, UK
Alan Slomson , School of Mathematics, University of Leeds, Leeds, UK
Paul Smolensky , Department of Cognitive Science, The Johns Hopkins University, Baltimore, MD, USA
Robert I. Soare , Department of Mathematics, The University of Chicago, Chicago, IL, USA