Alan Mathison Turing

Materie:Appunti
Categoria:Matematica
Download:131
Data:12.09.2001
Numero di pagine:2
Formato di file:.doc (Microsoft Word)
Download   Anteprima
alan-mathison-turing_1.zip (Dimensione: 3.32 Kb)
readme.txt     59 Bytes
trucheck.it_alan-mathison-turing.doc     20 Kb


Testo

Alan Mathison Turing
Turing, Alan Mathison (Londra 1912-1954), logico e matematico britannico, pioniere della teoria degli elaboratori (vedi Computer). Studiò all'università di Cambridge e, negli Stati Uniti, a Princeton; nell'ambito degli studi sulla ricorsività (una sezione della logica matematica) condotti per l'università di Manchester, elaborò teoricamente una nozione di "computabilità" che fosse applicabile a quei dispositivi ideali di calcolo ed elaborazione da lui definiti come "macchine", che vennero delineati nel suo studio pubblicato nel 1936, mentre era ancora studente: Sui numeri computabili, con un'applicazione al problema della decisione. Con il termine "macchine di Turing", esistenti unicamente a livello teorico, viene inteso il complesso delle proposizioni, formalizzate in un linguaggio consistente di simboli finiti, che prescrivono le possibilità operative (spostamento, selezione o cancellazione di un simbolo del linguaggio) di un apparecchio formato da un nastro che può invece essere infinito e che viene segmentato in caselle. Mediante un'operazione lo "stato interno" della macchina può – o meno – subire una variazione, che "definisce", insieme al linguaggio e al dispositivo, la "macchina" stessa. La computabilità delle "macchine di Turing", la possibilità cioè di questo "elaboratore ideale" di computare funzioni complesse, raggiunge livelli pari a quelli delle più sofisticate macchine elaboratrici esistenti.
Turing in tal modo aprì alle ricerche matematiche un campo che attualmente è noto con il nome di intelligenza artificiale. Propose inoltre nello scritto Macchine calcolatrici e intelligenza (1950) un metodo denominato "test di Turing" per determinare se le macchine possano essere in grado di pensare. Nel corso della seconda guerra mondiale lavorò come crittografo per il ministero degli Esteri britannico. Morì suicida all'età di quarantun anni.1
---------------
------------------------------------------------------------
---------------
------------------------------------------------------------

Esempio