วิทยานิพนธ์เชิร์ช-ทัวริงเป็นแนวคิดพื้นฐานในสาขาทฤษฎีความซับซ้อนในการคำนวณ ซึ่งมีบทบาทสำคัญในการทำความเข้าใจขีดจำกัดของความสามารถในการคำนวณ ตั้งชื่อตามนักคณิตศาสตร์ Alonzo Church และนักตรรกศาสตร์และนักวิทยาศาสตร์คอมพิวเตอร์ Alan Turing ผู้ซึ่งคิดค้นแนวคิดที่คล้ายกันอย่างอิสระในช่วงทศวรรษ 1930 แก่นแท้ของวิทยานิพนธ์ของคริสตจักรทัวริง