מספטמבר 1936 עד יולי 1938, בילה טיורינג את רוב זמנו בלימודים אצל אלונזו צ'רץ' באוניברסיטת פרינסטון, בשנה השנייה כעמית אורח על שם ג'יין אלייזה פרוקטר. בנוסף לעבודתו המתמטית הטהורה, הוא למד קריפטולוגיה ואף בנה שלושה מתוך ארבעה שלבים של מכפיל בינארי אלקטרו-מכני.
