nRead
& Writes symbols (Instructions & Data) from tape

nCan
compute anything computable

Tape

Head

xxxxL L xxx xx xxxx xxxx

xyxxR L xxx xx xxxx xxxx

xxyxR R ccc cc cccc cccc

xxyyL R xxx xx xxxx xxxx

symbol

Instruction Table

Left Right Write Symbol

Alan
Turing of Cambridge University, England, published a paper on
"computable numbers" which reformulates Kurt Gödel's results (see
related work by Alonzo Church). His paper addressed the famous
'Entscheidungsproblem' whose solution was sought in the paper by reasoning
(as a mathematical device) about a simple and theoretical, computer known
today as a Turing machine. In many ways, this device was more convenient than
Gödel's arithmetics-based universal formal system.