Church–Turing-tézis

Rövid szöveges bemutatás: 
A Church–Turing-tézis egy a számításelmélettel foglalkozó tézis. A tézis szerint minden olyan probléma mely leírható és megoldható algoritmussal, azt a Turing-gép is képes megoldani. A tézist sosem fogadták el tételnek, mert a „feladatmegoldó eljárás" nem matematikai fogalom.