TIL. Also just realized that Alan Turing was also one of Church’s doctoral students. We stand on the shoulders of these giants.