I testi forniscono un’analisi approfondita delle fondazioni teoriche dell’informatica e della logica matematica, concentrandosi in particolare sul lavoro pionieristico di Alan Turing. I documenti spiegano come Turing, con la sua pubblicazione del 1936, rispose negativamente all’Entscheidungsproblem (problema della decisione) posto da David Hilbert, dimostrando che non esiste un algoritmo universale per decidere la validità di ogni formula logica. Tale prova si basa sull’introduzione della Macchina di Turing come modello formale di computazione e sulla dimostrazione dell’Halting Problem (problema dell’arresto), il quale è intrinsecamente irrisolvibile, anche se i numeri calcolabili sono infiniti e i numeri non calcolabili sono in realtà molto più numerosi. Inoltre, viene evidenziato il lavoro parallelo e concettualmente equivalente di Alonzo Church con il Lambda Calcolo, portando alla celebre Tesi di Church-Turing. L’influenza di queste scoperte si estende oltre la teoria, dalla rottura dei codici Enigma durante la guerra con la macchina Bombe, fino allo sviluppo del concetto di calcolatore universale e all’attuale studio dell’intelligenza artificiale.
ref:
- 1. Turing, A. M. (1936). “On Computable Numbers, with an Application to the Entscheidungsproblem”. Proceedings of the London Mathematical Society.
- 2. Hodges, A. (1983). “Alan Turing: The Enigma”. Princeton University Press.
- 3. Copeland, B. J. (2004). “The Essential Turing”. Oxford University Press.
- 4. Bletchley Park Official Website. “Alan Turing and the Codebreakers”. https://bletchleypark.org.uk/alan-turing
- 5. Smith, G. (2007). “The History of Software”. IEEE Annals of the History of Computing.
- 6. Denning, P. J. (2010). “Computing’s Golden Jubilee”. Communications of the ACM.
- 7. Ritchie, D. M. (1993). “The Development of the C Programming Language”. ACM SIGPLAN Notices.
- 8. Ceruzzi, P. E. (2003). “A History of Modern Computing”. MIT Press.
- 9. Leavitt, D. (2006). “The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution”. Simon & Schuster.
- 10. National Museum of Computing. “Alan Turing and the Birth of Modern Computing”. https://tnmoc.org/alan-turing
@ac3 secondo me dovresti aggiungere il link al post nella tua anteprima federata
Risposta remota
URL del commento originale
Il tuo profilo
@informapirata @ac3
e' il plugin di wordpress che le fa cosi con i settings di default… ora vedo se posso modificarlo.
Risposta remota
URL del commento originale
Il tuo profilo
@acor3 @ac3 credo che nella sezione
https://www.acor3.it/wp-admin/options-general.php?page=activitypub
devi aggiungere il tag
[ap_permalink type="html"]
Risposta remota
URL del commento originale
Il tuo profilo
@informapirata @ac3 fatto… Ora vediamo se al prossimo podcast… Funzia. Danke
Risposta remota
URL del commento originale
Il tuo profilo
@ac3 davvero molto interesante, soprattutto per chi come me crede che l'informatica sia una grande miniera di riflessioni filosofiche
Per cuorisità, come hai fatto a integrare l'audio direttamente sul post di Martodon?
Risposta remota
URL del commento originale
Il tuo profilo
In realtà l’audio e’ un podcast ospitato sul mio blog wordpress, che e’ connesso con il fediverso tramite i plugin per activitypub. Io da mastodon.uno seguo il mio blog e rilancio (faccio boost) dei miei contenuti.