| |
| |
| |
| How Do We Compute? What Can We Prove? | |
| |
| |
| |
| Alan Mathison Turing | |
| |
| |
| |
| On Computable Numbers, with an Application to the Entscheidungsproblem | |
| |
| |
| |
| On Computable Numbers, with an Application to the Entscheidungsproblem - correction | |
| |
| |
| |
| Review of Turing 1936-7 | |
| |
| |
| |
| Computability and ?-definability | |
| |
| |
| |
| The p-function in ?-K-conversion | |
| |
| |
| |
| Systems of Logic based on Ordinals | |
| |
| |
| |
| A Formal Theorem in Church's Theory of Types | |
| |
| |
| |
| The Use of Dots as Brackets in Church's System | |
| |
| |
| |
| Practical Forms of Type Theory | |
| |
| |
| |
| The Reform of Mathematical Notation | |
| |
| |
| |
| Hiding and Unhiding Information: Cryptology, Complexity and Number Theory | |
| |
| |
| |
| On the Gaussian Error Function | |
| |
| |
| |
| A Method for the Calculation of the Zeta-function | |
| |
| |
| |
| Some Calculations of the Riemann Zeta-function | |
| |
| |
| |
| On a Theorem of Littlewood | |
| |
| |
| |
| The Word Problem in Semi-groups with Cancellation | |
| |
| |
| |
| Solvable and Unsolvable Problems | |
| |
| |
| |
| The Word Problem in Compact Groups | |
| |
| |
| |
| On Permutation Groups | |
| |
| |
| |
| Rounding-off Errors in Matrix Processes | |
| |
| |
| |
| A Note on Normal Numbers | |
| |
| |
| |
| 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 | |
| |
| |
| |
| Building a Brain: Intelligent Machines, Practice and Theory | |
| |
| |
| |
| Lecture to the London Mathematical Society | |
| |
| |
| |
| Intelligent Machinery | |
| |
| |
| |
| Computing Machinery and Intelligence | |
| |
| |
| |
| Chess | |
| |
| |
| Solvable and Unsolvable Problems | |
| |
| |
| |
| Intelligent Machinery: A heretical theory | |
| |
| |
| Can digital computers think? | |
| |
| |
| Can automatic calculating machines be said to think? | |
| |
| |
| |
| Some Remarks on the Undecidability Results | |
| |
| |
| |
| The Mathematics of Emergence: The Mysteries of Morphogenesis | |
| |
| |
| |
| The Chemical Basis of Morphogenesis | |
| |
| |
| |
| A Diffusion Reaction Theory of Morphogenesis in Plants | |
| |
| |
| |
| Morphogen Theory of Phyllotaxis | |
| |
| |
| Geometrical and Descriptive Phyllotaxis | |
| |
| |
| Chemical Theory of Morphogenesis | |
| |
| |
| A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry | |
| |
| |
| |
| Outline of the Development of the Daisy | |