Принстонский университет
Ньюман впоследствии помог Тьюрингу посетить Принстонский университет, где Алонзо Чёрч работал над той же самой проблемой, но использовал его Лямбда-исчисление.