Janus: The Papers of Alan Mathison Turing

King's/PP/AMT/B contains:
<-- See earlier
7	'Digital computers applied to games'
8	'Checking a large routine'
9	'Computing machinery and intelligence'
10	'Equivalence of left and right almost periodicity'
11	'Computability and lambda-Definability'
12	'On computable numbers, with an application to the Entscheidungsproblem'
13	'Finite approximations to lie groups'
14	'The extensions of a group'
15	'Systems of logic based on ordinals'
16	'The use of dots as brackets in Church's system'
17	'A method for the calculation of the zeta-function'
See later -->

More information

Please feel free to contact the repository.

The Papers of Alan Mathison Turing

Title	'On computable numbers, with an application to the Entscheidungsproblem'
Reference	AMT/B/12
Creator	Turing, Alan Mathison
Covering Dates	1937
Extent and Medium	2 items in envelope; paper

Content and context

The file comprises an extract from 'Proceedings of the London Mathematical Society', Ser. 2, Vol. 42, 1937; and an extract 'On Computable Numbers, with an Application to the Entscheidungsproblem. A correction', from 'Proceedings of the London Mathematical Society', Ser. 2, Vol. 43, 1937.

No further on-line information.