On computable numbers, with an application to the Entscheidungsproblem. A correction. (Q2603364)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On computable numbers, with an application to the Entscheidungsproblem. A correction. |
scientific article |
Statements
On computable numbers, with an application to the Entscheidungsproblem. A correction. (English)
0 references
1937
0 references
Verf. korrigiert einen Beweis seiner Arbeit ``On computable numbers, with an application to the Entscheidungsproblem'' (Proc. London math. Soc. (2) 42 (1936), 230-265); F.~d.~M. 62\(_{\text{II}}\), 1059) und gibt eine leichte Modifikation der Definition des Begriffs: ``Eine Maschine berechnet eine Zahl''.
0 references
