A Variant to Turing's Theory of Computing Machines
Hao Henry Wang · Journal of the ACM · 1957
HAo Wx~GUni,~ersity of Oxford, Oxford, England "Everyone should firmly persuade himself that none of the sciences, however abstruse, is to be deduced from lofty and obscure matters, but that they all proceed only from what is easy and more readily understood."--Deseartes.