Church-Turing thesis

Nella teoria della calcolabilità la tesi di Church-Turing è un'ipotesi che afferma: "se un problema è intuitivamente calcolabile, allora esisterà una macchina di Turing (o un dispositivo equivalente, come il computer) in grado di risolverlo (cioè di calcolarlo)." Più formalmente possiamo dire che la classe delle funzioni calcolabili coincide con quella delle funzioni calcolabili da una macchina di Turing.
Per saperne di più visita Wikipedia.org...