Church-Turings tese
Church-Turings tese, (efter Alan M. Turing og Alonzo Church), tese fra 1936, der udtrykker den forbavsende erfaring, at alle modeller til afgrænsning af beregnelige funktioner (se beregnelighed) har ledt til samme resultat. Tesen har stor betydning inden for datalogi