Alonzo Church (1903–1995) was one of Alan Turing's instructors at Princeton. He is remembered for his belief that recursiveness (or repetitiveness) plays a key role in solving logical problems. In 1944 he issued the book Introduction to Mathematical Logic.