| King's/PP/AMT/B contains: |
| <-- See earlier |
| 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' |
| 18 |
'Rounding-off errors in matrix processes' |
| 19 |
'Computing machinery and intelligence' |
| 20 |
'Intelligent machinery, a heretical theory' |
| 21 |
'Some calculations of the Riemann zeta-function' |
| See later --> |
|
The Papers of Alan Mathison Turing
| Title |
Programmers' handbook for Manchester electronic computer |
| Reference |
AMT/B/32 |
| Creator |
Turing, Alan Mathison |
| Covering Dates |
1951 |
| Extent and Medium |
1 volume and 11 sheets in envelope; paper |
|
| Content and context |
The file comprises the handbook Mark II, with errata sheets, 28 Mar. and 9 Jul. 1951, and Programme sheets, 1951. |
| No further on-line information. |
|