De Church-Turing-hypothese (Engels: Church-Turing thesis) is een stelling in de berekenbaarheidstheorie, geformuleerd door Alonzo Church en Alan Turing. Deze stelling is eigenlijk een hypothese, aangezien deze nooit bewezen zal kunnen worden. Enkele afgeleide hypotheses zijn zelfs al ontkracht.