Alan Turing · 1912–1954
Turing contribuì a definire che cosa può essere calcolato mediante procedure formali.
Alan Turing fu un matematico e logico britannico. Nel 1936 descrisse un modello astratto di macchina capace di eseguire operazioni secondo regole precise, contribuendo alla definizione teorica del calcolo. Durante la Seconda guerra mondiale lavorò alla crittoanalisi. La sua storia comprende risultati scientifici importanti e una persecuzione personale da parte delle autorità britanniche a causa della sua omosessualità.
Perché conta ancora
Il modello teorico di Turing è ancora utile per ragionare sui limiti e sulle possibilità degli algoritmi. La sua vicenda è anche un monito sul danno prodotto dalla discriminazione.
Fonti per approfondire
Fonte documentale: Encyclopaedia Britannica.
Nota editoriale: testo divulgativo preparato con supporto dell’intelligenza artificiale e basato sulle fonti indicate.
Appendice PENSAI — Dal calcolo alla governance della decisione
Alan Turing ha contribuito a definire i fondamenti teorici del calcolo automatico. Il suo lavoro permette ancora oggi di riflettere sulle capacità e sui limiti delle procedure algoritmiche.
PENSAI sviluppa questa riflessione sul piano decisionale.
Un algoritmo può elaborare dati e applicare regole, ma la correttezza del calcolo non garantisce, da sola, la correttezza della decisione. Occorre verificare la qualità delle informazioni, la coerenza dei criteri, i rischi, l’incertezza e le conseguenze dell’azione.
Il metodo PENSAI introduce una disciplina di governo del processo decisionale basata su criteri espliciti, valutazione delle alternative, tracciabilità e controllo umano quando necessario.
La distinzione fondamentale è questa:
- Calcolo: eseguire operazioni secondo regole definite.
- Valutazione: confrontare alternative sulla base di criteri dichiarati.
- Governance: stabilire quando una decisione può procedere, deve essere sospesa oppure deve essere fermata.
PENSAI non attribuisce all’intelligenza artificiale una garanzia autonoma di verità. Un risultato deve essere verificabile e proporzionato alla qualità delle evidenze disponibili. Quando le informazioni sono insufficienti o i vincoli essenziali non sono rispettati, la scelta disciplinata può essere sospendere il giudizio.
Il collegamento con Turing è quindi concettuale, non una discendenza storica diretta: comprendere che cosa una macchina può calcolare è diverso dallo stabilire quando il suo risultato sia affidabile e quando sia legittimo agire sulla sua base.
Principio PENSAI: nessun risultato algoritmico dovrebbe essere confuso automaticamente con una decisione corretta.
Nota editoriale: questa appendice è un testo divulgativo elaborato con il supporto dell’intelligenza artificiale.
Views: 0