Title: Proof in Alonzo Church's and Alan Turing's Mathematical Logic