Filosofia dell'informazione/Computazione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 1:
==Computazione==
== La nascita del
Come sanno tutti coloro che possono utilizzare un personal computer, il modo in cui la macchina esegue il compito desiderato è aprire il programma appropriato memorizzato nella memoria del computer.
I primi computer elettronici su larga scala, ad esempio, il British Colossus (1943) e l'americano ENIAC (1945), non memorizzavano i programmi in memoria. Per configurare questi computer per una nuova attività, era necessario modificare alcuni dei collegamenti della macchina, reindirizzare i cavi a mano e impostare gli interruttori.
Il principio base del computer moderno, ossia, l'idea di controllare le operazioni della macchina per mezzo di un programma di istruzioni codificate e memorizzate nella memoria del computer fu pensato da Alan Turing nel 1935.
La sua astratta "macchina di calcolo universale", presto nota semplicemente come la ''Universal Turing machine'' (UTM), consiste in una memoria senza limiti, in cui sono memorizzati sia i dati che le istruzioni, e uno scanner che si muove avanti e indietro nella memoria, simbolo per simbolo, leggendo ciò che trova e scrivendo ulteriori simboli.
Inserendo diversi programmi nella memoria, la macchina è fatta per eseguire calcoli diversi. L'idea di Turing di una macchina di calcolo universale a programma memorizzato è stata promulgata negli Stati Uniti
da John von Neumann e nel Regno Unito da Max Newman, i due matematici che erano in gran parte responsabili della collocazione della macchina universale di Turing nelle mani di ingegneri elettronici.
Nel 1945, diversi gruppi in entrambi i paesi avevano intrapreso la creazione di una macchina di Turing universale nell'hardware. La corsa per ottenere il primo computer elettronico memorizzato è stata vinta dalla '''Manchester University'''. Nel 1951, i computer con programmi memorizzati elettronici avevano ha iniziato ad arrivare sul mercato.
Il primo modello in vendita fu il ''Ferranti Mark I''. Nove delle macchine Ferranti furono vendute, in Gran Bretagna, Canada, Olanda e Italia, il primo fu installato presso l'Università di Manchester nel febbraio del 1951.
Anche il computer LEO fece il suo debutto nel 1951; LEO era una versione commerciale del prototipo della macchina EDSAC, che all'Università di Cambridge nel 1949 era diventato il secondo computer elettronico memorizzato per funzionare. Nel 1953 arrivò l'IBM 701, il primo computer elettronico di programma memorizzato prodotto in serie della società di von Neumann.
In seguito Turing introdusse le sue macchine di astratte in un famoso articolo intitolato "Sui numeri computabili, con un'applicazione per il problema "Entscheidung" (pubblicato nel 1936). Turing si riferiva alle sue macchine astratte semplicemente come "macchine informatiche" - la società americana Aldozo, che li ha soprannominati "macchine di Turing". Inoltre, Turing ha tracciato aree della matematica che si trovano al di fuori della portata dell'''UTM''
Ha dimostrato che non tutti i problemi matematici con precisione affermata possono essere risolti da una macchina di Turing. Uno di questi è '''l'Entscheidungsproblem''' - "problema decisionale".
Questa scoperta ha causato il caos con l'opinione matematica e filosofica ricevuta. Il lavoro di Turing - insieme al lavoro contemporaneo di Church (1936a, 1936b) - ha avviato l'importante ramo della logica matematica che indaga e codifica i problemi "troppo difficili" per essere risolti dalla macchina di Turing.
| |||