 It may appear that Gödel already proposed a version of Church’s Thesis in 1934. However, he did not immediately endorse it upon its first explicit articulation by  Church.[14]  And since the surrounding history is complex it will be useful to record the following observations as a prelude to  Sections 2 and 3.[15]  (See also the entries on  Church’s Thesis  and  computational complexity theory.)