sentences:  This point will be reiterated by Turing in 1939.Alan Turing's massive Princeton PhD thesis (under Alonzo Church) appears as "Systems of Logic Based on Ordinals".In it he summarizes the quest for a definition of "effectively calculable".