The Church–Turing thesis states that this is a law of mathematics – that a universal Turing machine can, in principle, perform any calculation that any other programmable computer can.
Чурч-Тјурингова теза гласи да је ово закон математике - да универзална Тјурингова машина може, у принципу, обављати било који обрачун да било који други рачунар може програмирати.