History of the Church
History of the Church-Turing thesis