[UNIXgod]

I enjoyed the article. Your connection your looking for is with Stephen Cole Kleene who also a student of Church just like Turing.