Newman verschaffte damals Turing auch ein Stipendium in Princeton bei Alonzo Church. ###>Newman subsequently arranged for Turing to visit Princeton where Alonzo Church was working on the same problem but using his Lambda calculus.