His dissertation considered the use of "symbolic machines" in physics, foreshadowing his later interest in computing machines.
Његова дисертација је разматрала употребу "симболичних машина" у физици, наговештавајући његово касније интересовање за рачунарске машине.