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

teorema innominato.

Dimostra come modello di calcolo diversi si possano simulazione a vicenda con costo computazionale polinomiale.

Si dice che questi modello di calcolo sono equivalenti.