Indeed, Minsky confirms this: "that the first formulation of Turing-machine theory in computer-like models appears in Wang (1957)" (Minsky 1967:200).
Заиста, Мински то потврђује: "да је прва формулација теорије Тјурингове машине у компјутерима попут модела појављује код Ванга (1957)" (Мински 1967: 200).