| |
| |
| |
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 | |