Turing Computability

Robert I. Soare

Bog | Engelsk

Beskrivelse

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book pr…