Baudo, Giuseppe
(2017)
Macchina di Turing e Calcolabilità in una Prospettiva Storica.
[Laurea], Università di Bologna, Corso di Studio in Informatica per il management [L-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (449kB) | Contatta l'autore |
Abstract
In questa tesi descriveremo la Macchina di Turing sia da una prospettiva storica, per capire le ragioni della sua nascita, sia dal punto di vista formale. Parleremo delle conseguenze della sua scoperta, in particolare, la Tesi di Church-Turing.
Abstract