Utente:Pasquale D'Arco/Sandbox: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Bot: sostituisco Alan_Turing_Aged_16.jpg con File:Alan_Turing_az_1930-as_években.jpg (da CommonsDelinker per: https://commons.wikimedia.org/wiki/Commons:Deletion_requests/File |
||
| (16 versioni intermedie di 3 utenti non mostrate) | |||
Riga 1:
'''
Questo libro, a cura di ''Massimiliano Cappuccio'', tratta dei diversi temi (da quelli di carattere scientifico, fisico e matematico, a quello di tipo filosofico) che hanno interessato la vita di [[Alan_Turing|Alan Turing]], uno dei fondatori della moderna [[Informatica|informatica]].
Riga 6 ⟶ 5:
Ogni capitolo vede il contributo di docenti universitari quali: ''Edoardo Ballo, Silvio Bozzi, Marcello d'Agostino, Paolo d'Alessandro, Rossella Fabbrichesi Leo, Marcello Frixione, Barbara Giolito, Giulio Giorello, Gabriele Lolli, Giuseppe Longo, Lorenzo Magnani, Teresa Numerico, Piergiorgio Odifreddi, Valeria Patera, Ines Saltamacchia e Corrado Sinigaglia.''
[[File:Alan Turing az 1930-as években.jpg|miniatura|248x248px|Una fotografia di un giovane Alan Turing.]]
== Introduzione ==
L'introduzione, a cura di ''Massimiliano Cappuccio'' ripercorre brevemente la vita di Turing: dallo sbarco in Inghilterra dal [[Normandie_(transatlantico)|Normandie]] nel 1937 (a 25 anni) al suo ultimo lavoro da crittografo fino ai suoi ultimi attimi di vita. Venne arrestato nel 1952 per [[
Il 24 Dicembre 2013 la regina [[Elisabetta_II_del_Regno_Unito|Elisabetta II]] elargì la grazia postuma per Alan Turing<ref>http://www.nytimes.com/2013/12/24/world/europe/alan-turing-enigma-code-breaker-and-computer-pioneer-wins-royal-pardon.html?_r=2&</ref>
In questo capitolo viene descritta la ''macchina'' di Turing, il suo funzionamento e le sue caratteristiche: tale macchina dovrebbe, a detta di Turing, descrivere ogni calcolo di natura meccanica seguendo delle istruzioni con cui la macchina rappresenta il risultato di questo calcolo attraverso la lettura di una ''celletta'' su di un nastro.
Tale macchina verrà costruita e usata da Turing e dal team che durante la seconda guerra mondiale ha lavorato per intercettare e decrittare i messaggi cifrati della Germania. Dietro l'idea di questa macchina, ci sono due punti che influenzeranno fortemente il lavoro di Turing:
# Il fatto che una macchina possa compiere il lavoro ( o calcolo ) di altre macchina, quello che oggi chiamiamo [[Programmazione_(informatica)|programmazione]].
# Il tema dell'imitazione ( da qui il nome di un famoso film girato nel 2014, [[The_Imitation_Game|The Imitation Game]] per la regia di [[Morten_Tyldum|Morten Tyldum]] ) , cioé il fatto che questa macchina sia in grado di ''imitare'' qualunque altra macchina di Turing.
Il termine ''ingenuità'' non è casuale, Turing ha sempre affrontato i problemi e dedicato ai suoi interessi con una curiosità quasi simile a quella di un bambino tant'è che i suoi scritti non brillano certo di erudizione o di stile molto ricercato anche se sono presenti riferimenti culturali che lasciano intendere la vasta cultura di Turing.
Tale concetto è ampiamente illustrato da un disegno fatto dalla madre di Turing,
Il tema dell'ingenuità si ritrova in quello che si può definire un vero e proprio ''stile'' di Turing: Riformulare i problemi in modo che il ''peso'' della prova ricada sull'oppositore, i suoi argomenti allora hanno la caratteristica, come è stato rilevato, che sembra non ammettano confutazione<ref>G. Lolli - Il Coraggio dell'ingenuità
Questo ''gioco'' prevede 3 soggetti, un uomo, una donna e un interrogante. L'interrogante pone delle domande ai due soggetti che comunicano in modo separato attraverso mezzi che non rivelino la loro identità, il gioco sta nell'individuare chi è l'uomo e chi la donna.
In questo gioco interviene la macchina, una delle due persone viene rimpiazzata da essa e ci si chiede quanto l'interrogante possa indovinare se a giocare è la macchina o la donna.
La tesi di Turing afferma: ''...se le funzioni generalmente ricorsive sono l'equivalente formale della calcolabilità effettiva, la loro formalizzazione può avere un ruolo nella storia della matematica combinatoria secondo solamente a quello della formulazione del concetto di numero naturale.'' <ref>''Ogni funzione effettivamente calcolabile è ricorsiva'' - Turing (1936)</ref>
Questa tesi ha un ruolo essenziale in [[Metamatematica|metamatematica]] poiché essa permette la dimostrazione dell'irrisolvibilità assoluta, sinteticamente: per verificare che un problema sia effettivamente insolubile, è necessario ''tradurlo'' in una funzione e provare che essa non è ricorsiva.
Riga 42 ⟶ 39:
Questa teoria è correlata alla ''Supertesi B'' ( ''B'' per Brain = Cervello )a cui si affianca la teoria della ''A.I.'' (Artificial Intelligence = Intelligenza Artificiale), possiamo considerare quest'ultima teoria un versione ''estesa'' della Supertesi B: ''il pensiero umano è determinato completamente dal cervello'' ( [[Julien_Offray_de_La_Mettrie|La Mettrie]] - 1748)
Col termine ''ipercomputazione'' si intende la ''computazione di funzioni non ricorsive''. La prima forma di impermacchina, la ''macchina-oracolo''<ref>E' sostanzialmente una macchina di Turing a cui è stato aggiunto un dispositivo che tramite una procedura a noi sconosciuta, è in grado di fornirci la risposta corretta a qualsiasi problema di decisione per un certo insieme di riferimento (La computazione oltre i limiti della macchina di Turing, I. Saltalamacchia)</ref> è di Turing stesso.
Da qui sono nate diverse macchine che interagiscono in modo diverso con l'ambiente esterno, citando alcuni esempi:
Riga 52 ⟶ 48:
Per processo computazionale si intende un processo mentale ( o calcoli, nel caso di una macchina) che consente di risolvere problemi di varia natura seguendo delle ''istruzioni''
L'ipotesi di ritenere calcolatori elettronici in grado di pensare ha ovviamente sollevato grandi perplessità, ricordiamo due critiche più importanti riguardo la demolizione dell' ''intelligenza artificiale'':
# '''John R. Lucas''' - Lucas utilizza un famoso teorema di logica matematica di [[Kurt Godel|Gödel]]: '''''Il teorema dell'incompletezza''''': per qualunque sistema formale vi è una
* '''Se fosse vera''' : Colui che proferisce tale affermazione sta mentendo e quindi essa è ''falsa''.
* '''Se fosse falsa''' : Colui che proferisce tale affermazione sta dicendo il vero e quindi essa è ''vera''.
Riga 68 ⟶ 63:
Più di 50 anni fa, l'intelligenza artificiale era limitata nell'ambito di macchine elettroniche, e tale teoria suscitava per lo più disprezzo e critica.
Al giorno d'oggi, data la sviluppata tecnologia che anche un bambino può possedere, l'intelligenza artificiale non è più oggetto di critica, molte opere cinematografiche hanno discusso di questo tema affrontando, in modo comunque ''fantascientifico'', la questione: [[2001:_Odissea_nello_spazio|2001 - Odissea nello spazio ]], [[Io,_robot_(film)|Io, Robot]], [[Lei_(film_2013)|Her - Lei]], [[A.I._-_Intelligenza_artificiale|A.I. (Artificial Intelligence)]], [[Blade_Runner#|Blade Runner]].
È inutile dire che i robot (intendendo anche computer) superino di gran lunga la nostra capacità di calcolo (come il caso del computer [[IBM_Deep_Blue|Deep Blue]] che giocò una serie di partite a scacchi contro l'allora campione del mondo [[Garri Kimovič Kasparov]]) ma essi non sono ancora all'altezza degli esseri umani nelle funzioni di ''riconoscimento'' e ''navigazione''.
== Note ==
<references/>
| |||
