Filosofia dell'informatica/La nascita dell'informatica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: apostrofo dopo l'articolo indeterminativo e modifiche minori |
|||
Riga 9:
Figlia del celebre poeta [[w:George Gordon Byron|George Gordon Byron]] e della matematica Anne Isabelle Milbanke, sin da piccola fu istruita dai piu importanti docenti del tempo, mostrando grande interesse per le scienze e la matematica.
Come di consuetudine per le giovani aristocratiche, a 18 anni Lovelace debuttò in società ed iniziò a frequentare i più facoltosi salotti grazie ai quali conobbe personalità come [[w:Charles Darwin|Charles Darwin]], [[w:Charles Dickens|Charles Dickens]], [[w:Michael Faraday|Michael Faraday]] e Charles Babbage che proprio in quegli anni stava lavorando alla macchina differenziale, un marchingegno in grado di fare somme e sottrazioni automaticamente. Ada, estremamente affascinata, iniziò a studiare i metodi di calcolo realizzabili con essa, e così nacque uno splendido rapporto di amicizia e di lavoro che durerà per anni. La macchina divenne sempre più grande ma, pur essendo concettualmente valida, non fu mai costruita a causa dei costi eccessivi e
Dopo la macchina differenziale nacque la macchina analitica, una macchina ancora più complicata, capace di fare ulteriori operazioni quali moltiplicazioni, divisioni, comparazioni a radici quadrate. Babbage cercò di far conoscere la macchina all’estero, precisamente in Italia, dove incontrò il giovane matematico [[w:Luigi Federico Menabrea|Luigi Federico Menabrea]]. Quest’ultimo scrisse nel 1842 un breve articolo in francese sulla macchina che fu pubblicato sulla rivista svizzera "Bibliothèque Universelle de Genève". Ada, sollecitata da un amico di Babbage, Charles Wheatstone, iniziò a tradurre l’articolo in inglese e vi aggiunge ben sette note, frutto di un lavoro durato interi mesi, e che firmò con le sole iniziali (A. A. L.). Le note descrivevano le caratteristiche strutturali e funzionali della macchina e, soprattutto, mostravano la possibilità da parte della MA di poter essere programmata. Questo, infatti, è ciò che la rende il più antenato dei nostri computer: a differenza della macchina differenziale, che poteva manipolare solo numeri, la macchina analitica era in grado di manipolare simboli sulla base di semplici regole. La nota più importante è senza dubbio l’ultima, la nota G, nella quale Lady Lovelace descrisse, a tal fine, un [[w:Algoritmo di Ada Lovelace per i numeri di Bernoulli|algoritmo]] per calcolare i [[w:Numeri di Bernouilli|numeri di Bernoulli]], algoritmo che oggi viene riconosciuto come il primo programma informatico della storia.
Nonostante la macchina analitica, proprio come la macchina differenziale, non fu mai costruita, il contributo pioneristico di Ada Lovelace e Charles Babbage è stato di fondamentale importanza: dopo quasi un secolo, Alan Turing inventò i primi computer elettronici grazie alle note di Ada Lovelace. A partire dal 2009, negli Stati Uniti
=== Charles Babbage ===
Riga 44:
===Il problema della decisione===
Leibniz sognava una ragione umana ridotta a puro calcolo e a grandi macchine meccaniche che consentissero l’esecuzione dei calcoli. Frege fu il primo a produrre un sistema di regole capace di rendere conto in modo plausibile di tutti i ragionamenti deduttivi umani. Hilbert cercava un algoritmo di un
Un algoritmo, ossia una procedura di calcolo destinato alla soluzione di un problema, è definito da un elenco di regole che una persona può seguire in modo meccanico e preciso. Turing dimostrò che una tale persona poteva limitarsi a poche azioni di base, molto semplici, senza che il risultato finale del calcolo cambiasse. Comprese poi che l’essere umano poteva essere sostituito da una macchina capace di eseguire quelle stesse azioni di base. Dimostrò infine che nessuna macchina in grado di eseguire solo tali azioni poteva stabilire se una data conclusione era derivabile da premesse date usando le regole di Frege. Concluse che non esisteva un algoritmo per il problema della decisione (''Entscheidungsproblem'').
Riga 104:
'''l’argomento di Lady Lovelace''' (le macchine fanno solo quello che noi gli ordiniamo di fare), e così via.
L’idea di una macchina che
Esse dovrebbero descrivere completamente come reagirà la macchina qualsiasi possa essere la sua storia, a qualsiasi cambiamento possa essere soggetta.
Le regole sono quindi assolutamente invarianti rispetto al tempo.
Riga 136:
Il grande logico e matematico ungherese, naturalizzato statunitense, '''John von Neumann''' (1903-1957) colse al volo l’occasione di partecipare al progetto della Moore School of Electrical Engineering di Philadelphia: la costruzione di un calcolatore elettronico potentissimo, l’[[w:ENIAC|'''ENIAC''']], una macchina enorme (occupava da sola una grande stanza) dotata addirittura di 18.000 tubi elettronici e costruita sul modello delle macchine calcolatrici meglio riuscite dell’epoca, gli analizzatori differenziali. Von Neumann passò subito a occuparsi dell’organizzazione logica di una nuova macchina, l’[[w:EDVAC|'''EDVAC''']] (Electronic Discrete Variable Calculator).
Nel 1945 von Neumann presentò una bozza di proposta, intitolata ''First draft of a report on the EDVAC''<ref>[http://www.virtualtravelog.net/entries/2003-08-TheFirstDraft.pdf ''First draft of a report on the EDVAC'' by John von Neumann – Contract No. W-670-ORD-4926 between the United States Army Ordnance Department and the University of Pennsylvania – Moore School of Electrical Engineering, University of Pennsylvania – June 30, 1945]. Il documento è disponibile anche nel seguente libro: {{Cita libro|nome= Nancy|cognome= Stern|titolo= From ENIAC to UNIVAC – An appraisal of the Eckert-Mauchly computers|editore= Digital Press|anno= 1981}}</ref>, che fece conoscere l'architettura hardware dell'EDVAC in tutto il mondo, suggerendo che il nuovo calcolatore fosse fisicamente realizzato sul modello della macchina universale
===L'architettura di von Neumann===
Riga 162:
==Note==
<ref> [http://m.mind.oxfordjournals.org/content/LIX/236/433.full.pdf Alan M. Turing, Computing Machinery and Intelligence
[[Categoria:Filosofia dell'informatica|La nascita dell'informatica]]
{{Avanzamento|75%}}
| |||