Part I: How Do We Compute? What Can We Prove?1.Alan Mathison Turing2.On Computable Numbers, with an Application to the Entscheidungsproblem3.On Computable Numbers, with an Application to the Entscheidungsproblem - correction4.Review of Turing 1936-75.Computability and ¿-definability6.The p-function in ¿-K-conversion7.Systems of Logic based on Ordinals8.A Formal Theorem in Church's Theory of Types9.The Use of Dots as Brackets in Church's System10.Practical Forms of Type Theory11.The Reform of Mathematical Notation
Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory.1.On the Gaussian Error Function2.A Method for the Calculation of the Zeta-function3.Some Calculations of the Riemann Zeta-function4.On a Theorem of Littlewood5.The Word Problem in Semi-groups with Cancellation6.Solvable and Unsolvable Problems7.The Word Problem in Compact Groups8.On Permutation Groups9.Rounding-off Errors in Matrix Processes10.A Note on Normal Numbers11.Turing's treatise on the Enigma (Prof's Book); Report by Turing on U. S. Navy cryptanalytic work and their machinery, November 1942; Speech System 'Delilah' - report on progress, 6 June 1944; Checking a Large Routine; An early program proof by Alan Turing; Programmers' Handbook for the Manchester electronic computer; Local Programming Methods and Conventions
Part III: Building a Brain: Intelligent Machines, Practice and Theory.1.Lecture to the London Mathematical Society2.Intelligent Machinery3.Computing Machinery and Intelligence4.Chess; Solvable and Unsolvable Problems5.Intelligent Machinery: A heretical theory; Can digital computers think?; Can automatic calculating machines be said to think?6.Some Remarks on the Undecidability Results
Part IV: The Mathematics of Emergence: The Mysteries of Morphogenesis.1.The Chemical Basis of Morphogenesis2.A Diffusion Reaction Theory of Morphogenesis in Plants3.Morphogen Theory of Phyllotaxis; Geometrical and Descriptive Phyllotaxis; Chemical Theory of Morphogenesis; A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry4.Outline of the Development of the Daisy
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
Verónica Becher, Departamento de Computación, 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 Galilée, Université Paris-Nord, Villetaneuse, France
Hans Meinhardt, Max-Planck-Institut für Entwicklungsbiologie, Tübingen, 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 1931–28 August 2011), Founder member Bletchley Park Trust, leader Colossus rebuild project
Peter T. Saunders, Department of Mathematics, King’s 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
Ludwig Staiger, Institut für Informatik, Martin-Luther-Universit¨at, Halle, Germany
Michael Stay, Google Inc., CA, USA, and Department of Computer Science, The University of Auckland, Auckland, New Zealand
Karl Svozil, Institut für Theoretische Physik, Technische Universit¨at Wien, Vienna, Austria
Jonathan Swinton, Physiomics plc, Oxford Science Park, Oxford, UK
Christof Teuscher, ECE Department, Portland State University, Portland, OR, USA
K. Vela Velupillai, Department of Economics, University of Trento, Trento, Italy
Tom Vickers, Retired, Manager computing service that developed and used the Pilot ACE, at National Physical Laboratory (NPL), Teddington, London, UK
Paul Vitányi, CWI, Amsterdam, The Netherlands
Kevin...
