'A diffusion reaction theory of morphogenesis in plants'
'A formal theorem in Church's theory of types'
'A method for the calculation of the zeta-function'
'A new mechanism which slows simple conditioning'
'A note on normal numbers'
'A practical form of type theory I'
'A practical form of type theory II'
'Alan Turing, The Enigma'
'An electrical hypothesis of central inhibition'
'Bemerkungen zu den Grundlagen der Geometrie'
'Body and Mind'
'Breaking the code'
'Can automatic calculating machines be said to think?'
'Can digital computers think'
'Checking a large routine'
'Chemical theory of morphogenesis, Turing 3'
'Computability and lambda-definability'
'Computing machinery and intelligence'
'Design for a brain'
'Die Widerspruchfreiheit der reinen Zahlentheorie'
'Die Widerspruchfreiheit der Stufenlogik'
'Digital computers applied to games'
'Effect of quadratic terms'
'Equivalence of left and right almost periodicity'
The archive is divided into six sections, prefixed by Turing's initials (AMT): A, B, C, D, E, K.
Includes obituaries, tributes, recollections by teachers and colleagues, documents about a biography of Turing, about the AM Turing Award and about a commemorative plaque.
arrow_forward_ios Read more
Includes notes for lectures and talks, typescripts of talks, and off-prints of articles and papers.
Includes 'Treatise on the Enigma', 'Proposed electronic calculator', 'Intelligent machinery' as well as illustrated typescripts about morphogenesis.
Includes letters from Turing to his mother, letters to and from colleagues about mathematical problems, machine intelligence and personal matters.
Videos of lectures and talks given on this day, and a copy of a lecture given by Professor Robin Milner. These items are held in the King's College Archive Centre and are not available online.
Includes more of Turing's letters to his mother, diagrams relating to morphogenesis, press articles and obituaries, a précis of Einstein's Theory of Relativity, and photographs of Turing.
emailContact The Archivist