Publications, lectures, and talks - AMTB
AMT-B-1
Xerox of 'Lecture to L.M.S. Feb. 20 1947' on ACE. Comprises AMT's TS with AMS additions.
AMT-B-2
Xerox of MS notes taken by D.R. Hartree of lectures on ACE given by AMT. The notes were made…
AMT-B-3
'A practical form of type theory I.' Heavily revised TS, pages numbered 1-30, with 3 additional un-…
AMT-B-4
'Intelligent machinery, a heretical theory', a lecture given to '51 Society' at Manchester. 2…
AMT-B-5
'Can digital computers think?'. TS with AMS annotations of a talk broadcast on BBC Third Programme…
AMT-B-6
'Can automatic calculating machines be said to think?'. Two copies of an undated TS of a broadcast…
AMT-B-7
'Digital computers applied to games'. n.d. AMT's contribution to 'Faster than thought', ed. B.V.…
AMT-B-8
'Checking a large routine'. This was a paper given by AMT on 24 June 1949 at the inaugural…
AMT-B-9
'Computing machinery and intelligence'. TS copy of article published in Mind (Vol. LIX, Oct. 1950…
AMT-B-10
Extract, 'Equivalence of left and right almost periodicity' from Journal of the London Mathematical…
AMT-B-11
Off-print, 'Computability and λ-Definability' from The Journal of Symbolic Logic, (Vol. 2, Dec.…
AMT-B-12
Extract, 'On computable numbers, with an application to the Entscheidungsproblem' from Proceedings…