Filosofia dell'informatica/La nascita dell'informatica: differenze tra le versioni

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.

 

 

=== Charles Babbage ===

A questo scopo era necessario che l’informatica (''computer science'', scienza che riguarda le macchine) si evolvesse piuttosto in una ''information science'', una scienza capace di comprendere profondamente i dispositivi tecnici, la loro interazione coordinata, le reti e le strutture di controllo che avrebbero assicurato il funzionamento automatico. Pertanto ne consegue che questo nuovo campo di studi avesse uno stretto legame tanto con la logica quanto con alcuni settori delle scienze della vita, quali la neurofisiologia e la biologia molecolare, dal momento che si sarebbe dovuto concentrare sulle questioni logiche della configurazione del calcolatore e dei suoi collegamenti e analogie con la struttura cerebrale umana.

 

{{quote|Si sono già date due ragioni che pongono un limite in questo senso alla complicazione. Esse sono le grandi dimensioni e il limitato grado di affidabilità dei componenti di cui disponiamo. Entrambe sono dovute al fatto che adoperiamo materiali del tutto soddisfacenti in applicazioni più semplici, ma inferiori a quelli naturali in questa applicazione altamente complessa. Esiste tuttavia un terzo importante fattore limitante, al quale fa ora rivolta la nostra attenzione: fattore, peraltro, di carattere intellettuale e non fisico. Siamo ben lontani dal possedere una teoria degli automi degna di tale nome, cioè una teoria logico-matematica vera e propria.|Neumann 1951, in Somenzi 1965, pp. 222-23}}