| King's/PP/AMT/B contains: |
|---|
| <-- See earlier |
|---|
| 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' |
| 18 |
'Rounding-off errors in matrix processes' |
| 19 |
'Computing machinery and intelligence' |
| 20 |
'Intelligent machinery, a heretical theory' |
| See later --> |
|---|
|
The Papers of Alan Mathison Turing
| Title |
'Systems of logic based on ordinals' |
| Reference |
AMT/B/15 |
| Creator |
Turing, Alan Mathison |
| Covering Dates |
1939 |
| Extent and Medium |
1 item in envelope; paper |
|
| Content and context |
The file comprises an off-print of the article from 'Proceedings of the London Mathematical Society', Ser. 2, Vol. 45, 1939. |
| No further on-line information. |
|
![[Home]](/images/logo.gif){kind=logo}
