La formalizzazione della logica Ada Lovelace e George Boole sono nati nello stesso anno ad un mese di distanza. Non è certo se ebbero modo di incontrarsi, ma è bello pensare che in queste ipotetiche occasioni abbiano possano anche avere discusso dei principi dell’algebra booleana. Detto in modo molto semplificato, Boole matematizzò la logica classica secondo i principi dell’algebra. Questa...
Rappresentazione duale Si inizia con il dare la definizione di linguaggio binario. Per linguaggio binario si intende quel linguaggio il cui alfabeto è un insieme A formato da due elementi: A=(0,1) Le parole di questo linguaggio saranno pertanto 0, 1, 10, 100, 11010 ecc. Il linguaggio binario può essere usato anche come sistema di numerazione, associando a ciascun carattere binario...
GOTTFRIED WILHELM VON LEIBNIZ disse: “appare quasi necessario l’invio di missionari cinesi presso di noi affinché ci insegnino l’uso e la prassi della Teologia Naturale” … il reverendo Padre Bouvet ed io abbiamo scoperto il senso apparentemente più vero, secondo la lettera, dei caratteri di Fohi [Fu Xi], fondatore dell’Impero, che consitono solo nella combinazione di linee intere e spezzate...
Il sogno di Leibniz Con questa espressione Giuseppe Peano, “il maestro del pensiero formale”, battezzò nel 1898 la prima formulazione di Leibniz, del più meraviglioso programma di ricerca progressivo della storia della conoscenza umana: LA LOGICA MATEMATICA. Così racconta Leibniz: ”…Studiando questo problema di logica, arrivai come spinto da una necessità interna a questa idea straordinaria: doveva essere possibile costruire...
Con queste due immagini concludo la serie hand wawe. La prima rappresenta con una timeline i principali protagonisti e eventi (matematici). La seconda rappresenta invece l’inizio dell’era moderna dell’informatica con le schede perforate di Babbage e il disegno del proto computer. E’ interessante anche osservare la similitudine tra il proto computer e il computer assemblato con l’architettura di Von Neuman.
Algoritmo di Ada Lovelace per i numeri di Bernouilli Senza entrare nel dettaglio diciamo che l’algoritmo di Ada permette di calcolare i numeri di Bernouilli, senza far riferimento a tutti quelli a essi precedenti. È a tutt’oggi un risultato brillante, non soltanto per la valenza computazionale, quanto per la coniugazione di Matematica e Informatica. Ada si servì della seguente funzione...
Il censimento americano Le schede perforate di Babbage, ispirarono l’ingegnere Hollerith che le adoperò per il censimento, negli Stati Uniti, del 1890. Gli immigrati giungevano negli Stati Uniti sempre più numerosi ed era sempre più pressante la necessità di operare un censimento. Hermann Hollerith, giovane ingegnere, pensò di utilizzare le schede perforate per accumulare velocemente e in maniera univoca i...
La storia del pensiero informatico La scelta, puramente soggettiva, è quella di iniziare questo affascinante percorso da quello che accadde al tempo della “Queen Victoria”………Siamo in pieno periodo Vittoriano, c’era un fervore di conoscenza, costruzione di nuove macchine, nuovi progetti e nuove conoscenze! Siamo in piena rivoluzione industriale, il vapore fornisce l’energia occorrente per questa nuova fase dell’avventura umana! L’avvento...
cosa ne pensi?