appunti-steffo/9 - Algoritmi distribuiti/1 - Problemi algoritmici/tesi di Church-Turing.md

[[teorema innominato]].

Dimostra come [[modello di calcolo|modelli di calcolo]] diversi si possano [[simulazione|simulare]] a vicenda con [[costo computazionale]] [[polinomiale]].

Si dice che questi [[modello di calcolo|modelli di calcolo]] sono *equivalenti*.