He obtained a doctorate from Princeton in 1952 having failed to carry out Post 's suggestion of constructing a finitely presented group with insoluble word problem.
Siya na nakuha ng isang titulo ng doktor mula sa Princeton sa pagkakaroon ng 1952 ay nabigo upang magsagawa Post 's mungkahi ng constructing isang finitely ipinapahayag sa mga grupo ng salita na hindi malulutas problema.