Filosofia dell'informatica/La nascita dell'informatica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Correggo errori comuni (tramite La lista degli errori comuni V 1.1) |
Nessun oggetto della modifica |
||
Riga 201:
Per Turing le operazioni aritmetiche andavano affidate alla programmazione, al software più che all'hardware. Turing era convinto che l’era dei calcolatori avrebbe potuto influenzare la logica e la filosofia della matematica dal momento che, il linguaggio per comunicare con la macchina doveva essere preciso. Egli riteneva che la logica simbolica avrebbe potuto ricoprire questo ruolo: infatti, nel ruolo di simulare l’intelligenza umana attraverso i calcolatori, la logica avrebbe trovato nuova linfa, occupandosi non solo dal punto di vista teorico della questione, ma anche e soprattutto pratico mediante la stesura di un codice simbolico che fosse quanto più vicino possibile al linguaggio matematico e che stesse alla base dell'ACE.
Nel 1947 Turing parlò dei calcolatori elettronici digitali, e in particolare dell’ACE, davanti alla London Mathematical Society. Turing si chiedeva in che misura fosse possibile, in linea di principio, per una macchina calcolatrice simulare attività umane e questo lo portò a considerare la possibilità di una macchina programmata per imparare e alla quale fosse permesso di commettere errori: “se ci si aspetta che la macchina sia infallibile, allora essa non può essere anche intelligente”. Questo perché, secondo Turing, una caratteristica fondamentale dell'intelligenza umana, era proprio la capacità di commettere errori, e tramite essi, apprendere come risolvere i problemi in maniera sempre differente.
Durante la [[w:Seconda guerra mondiale|Seconda guerra mondiale]] anche in Gran Bretagna si diffuse l’esigenza di calcoli su lunga scala. Di questo progetto, si occupò l’NPL che sviluppò una divisione apposita (Mathematics Division) per centralizzare tutte le risorse da impiegare per lo sviluppo di nuovi strumenti di calcolo. John Womersley ne fu il primo responsabile e si occupò, in primo luogo, dell’arruolamento del team di collaboratori che lo avrebbe assistito nel progetto di costruzione di un calcolatore elettronico; pensò immediatamente a Turing.
| |||