Equivalenze e relazioni tra modelli di calcolabilità

In questa tesi affronto lo studio di diversi modelli di computabilità; in primo luogo dimostro l'equivalenza delle funzioni parziali ricorsive e delle funzioni computabili dalle macchine URM. In secondo luogo, analizzo l'articolo originale di Turing del 1936 "On Computable Numbers with an Application to the decision problem" concentrandomi in particolare sulla definizione di macchina di Turing come modello di computabilità e su come siano cambiate nel tempo la notazione e l'intuizione di tale argomento nei testi moderni.