between the theory of Turing machines and the practical world of the computer.

Wang's work was highly influential. We find him referenced by Minsky (1961) and (1967), Melzak (1961), Shepherdson and Sturgis (1963). Indeed, Shepherdson and Sturgis (1963) remark that:
:"...we have tried to carry a step further the 'rapprochement' between the practical and theoretical aspects of computation suggested by Wang,"

Martin Davis eventually evolved this model into the (2-symbol)

1.Previous
3.Next