History of the Church
History of the Church–Turing thesis