The Relation Between Turing Machines and Actual Computing Machines

Résumé du livre

This is a summary of a talk given at the Logic Institute on July 9. Theoretical studies of computing machinery are usually based on an idealized type of machine, known as a Turing machine. On the basis of a comparison of Turing machines with actual machines, it is concluded that this sort of theoretical study is justified.