SlideShare une entreprise Scribd logo
1  sur  51
Télécharger pour lire hors ligne
1/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Le origini del calcolo digitale – 1
Epistemologia, Deontologia ed Etica dell’Informatica
Storia dell’Informatica e della Comunicazione Digitale
Federico Gobbo
federico.gobbo@uninsubria.it
CRII – Centro di Ricerca “Informatica Interattiva”
Universit`a dell’Insubria, Varese–Como
CC Alcuni diritti riservati.
A.A. 2010-11
2/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
I tre fattori dell’innovazione tecnologica
Primo: le idee. Le idee sono sempre veicolate da persone, e per
questo motivo vedremo alcuni dati biografici degli uomini (e
donne) che hanno fatto la storia dell’informatica e della
comunicazione digitale. Fattore endogeno.
2/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
I tre fattori dell’innovazione tecnologica
Primo: le idee. Le idee sono sempre veicolate da persone, e per
questo motivo vedremo alcuni dati biografici degli uomini (e
donne) che hanno fatto la storia dell’informatica e della
comunicazione digitale. Fattore endogeno.
Secondo: i media. I media sono i supporti di concretizzazione
delle idee destinati a emettere, preservare o ricevere i messaggi.
Noi vedremo il caso speciale dei media digitali. Vedremo che le
idee spesso vengono prima dei supporti tecnologici. Fattore
esogeno.
2/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
I tre fattori dell’innovazione tecnologica
Primo: le idee. Le idee sono sempre veicolate da persone, e per
questo motivo vedremo alcuni dati biografici degli uomini (e
donne) che hanno fatto la storia dell’informatica e della
comunicazione digitale. Fattore endogeno.
Secondo: i media. I media sono i supporti di concretizzazione
delle idee destinati a emettere, preservare o ricevere i messaggi.
Noi vedremo il caso speciale dei media digitali. Vedremo che le
idee spesso vengono prima dei supporti tecnologici. Fattore
esogeno.
Terzo: il contesto sociale. `E determinato storicamente:
quando e dove sono sorte le idee? Quali i supporti disponibili?
Vedremo che le idee nel “farsi tecnologia” devono farsi accettare
nel sistema dei media, travestendosi (legge della carrozza senza
cavalli). Fattore esogeno.
3/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Perch´e supporti esterni al calcolo? I calculi
L’attivit`a di calcolo richiede garanzie di correttezza e capacit`a
di memorizzazione dei risultati, e la mente non basta. Il primo
ausilio artificiale al calcolo `e il calculus, in latino ‘pietruzza’,
‘ciottolo’ (pensate per esempio ai ‘calcoli renali’).
Le pietruzze venivano collocate sulla sabbia o su supporti pi´u
duraturi e trasportabili come una tavoletta, su linee successive
rappresentanti i diversi ordini.
5/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Le dita come supporto al calcolo
‘Digitale’ deriva da dito. Le dita delle mani possono indicare i
numeri in maniera anche molto sofisticata: gli egizi riuscivano a
rappresentare i numeri naturali da 1 a 9.999 con le sole dieci
dita.
Il fatto che gli esseri umani abbiano dieci dita e l’uso del
sistema decimale non sono elementi correlati biologicamente:
nella storia diverse culture hanno usato una notazione
posizionale diversa dalla base dieci.
Dal Summa de Arithmetica di Luca Pacioli, 1494
7/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Cronologia sommaria dell’abaco
La parola ‘abaco’ deriva dal greco abaks, a sua volta preso dal
semitico abaq, ‘sabbia’ o ‘polvere’.
• abaco babilonese (2000 a.C.)
• abaco greco (VI sec. a.C., menzionato da Demostene)
• tavoli di Salamina (300 a.C.)
• scacchiera cinese (200)
• apices (gettoni di corno romani, 500)
• Quipu inca (1000)
• Swan pan (abaco cinese, 1200)
• Soroban (abaco giapponese, 1500)
• Schoty (abaco russo, 1600)
Figura: Abaco romano
Figura: Abaco inca
Figura: Abaco cinese
Figura: Abachi da tavolo rinascimentali
13/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Il calcolatore pi´u longevo della storia
Nel 1946 si tenne a Tokyo un torneo tra un abachista
giapponese (Kiyoshi Matsuzaki) e una calcolatrice da ufficio;
durato due giorni, vinse l’abachista (Yoshino 1963:vi).
Nel 1957 i Russi usarono l’abaco per alcuni calcoli necessari al
lancio nello spazio dello Sputnik (Guedj 1997:147).
Ancora oggi in Giappone il soroban viene usato normalmente
alle scuole elementari per imparare a far di conto e nelle regioni
rurali della Cina.
Figura: Abachista moscovita, grandi magazzini GUM, 1958
15/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Al-Khwaritzmi
Dopo la caduta dell’Impero Romano d’Occidente la tradizione
del sapere matematico greco viene conservata dagli arabi, a cui
dobbiamo le cifre che usiamo oggi e il concetto di zero.
Il matematico arabo Muhammad ibn Musa al-Khwarizmi
(Mohamed figlio di Moses nativo di Khowarizm, oggi Khiva,
Uzbekistan) scrive attorno all’825 un libro di compendio sul
calcolo mediante costruzione e riduzione, intitolato ‘al-Kit`ab
al-mukhtasar fi hisab al-jabr wa’l-muq`abala’.
Francobollo commemorativo
17/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
La doppia natura degli algoritmi
L’opera di Al-Khwaritzmi descrive in modo formale e generale
le regole per eseguire le operazioni sulle rappresentazioni
decimali dei numeri interi, coniugando l’approccio babilonese
(algebrico), di tipo pratico, e l’approccio euclideo (geometrico),
di tipo formale.
I primi esempi di algoritmi . . . risalgono ai primordi
della matematica. Sia la formula algebrica babilonese
per la risoluzione dell’equazione di secondo grado, sia
le costruzioni geometriche greche con riga e compasso,
posseggono infatti quelle propriet`a di calcolabilit`a e
costruibilit`a presenti nel titolo del libro di Al
Khwarizmi, e caratteristiche della nozione di algoritmo
(Odifreddi 2003:239).
La doppia natura di ogni algoritmo `e una caratteristica
fondamentale dell’informatica.
18/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Leonardo da Pisa, detto Fibonacci
L’opera di Al-Khwaritzmi fu divulgata in occidente da Leonardo
da Pisa, Filius Bonacci, figlio di Bonaccio, da cui ‘Fibonacci’,
nel Liber Abaci (1202), in cui introduce in Europa le cifre arabe,
l’abaco, la partita doppia, e naturalmente i numeri di Fibonacci.
Il nome Al-Khwaritzmi viene latinizzato in algorismus da cui la
parola ‘algoritmo’. Dalla parola ‘al-jabr’ del titolo del libro
arabo deriva il nostro termine algebra. Entrambi i termini li
dobbiamo a Fibonacci.
Ritratto di Fibonacci
20/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Detour: i numeri di Fibonacci
Quanti conigli produce una coppia di conigli in un anno,
assumendo che ogni mese una coppia procrei un’altra coppia
che `e fertile dal secondo mese in poi e che i conigli non muoiano
mai?
Figura: I numeri di Fibonacci
21/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
La successione dei numeri di Fibonacci
La successione: 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377,
. . . pu`o essere rappresentata con una doppia ricorsione in un
linguaggio di programmazione (esempio in C):
int f i b ( int n)
{
i f (n==0 | | n==1)
return n ;
return f i b (n−1) + f i b (n−2);
}
oppure con un’espressione algebrica, attribuita al matematico francese
Binet (1843), ma gi`a nota ad Eulero, Daniel Bernoulli e de Moivre:
Figura: Equazione di Binet
22/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Numeri di Fibonacci e proporzione aurea
Questa proporzione appare controintuitiva ma la ritroviamo
nella proporzione aurea: il rapporto perfetto, divino, gi`a
presente in natura, riportato negli Elementi di Euclide,
nell’architettura classica e ripreso nel Rinascimento italiano.
Piero della Francesca nel Trattato d’Abaco espone i
procedimenti matematici che usano la proporzione aurea, che
avr`a grande successo in architettura.
23/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Nautilus al compasso
Figura: Nautilus al compasso
24/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Nautilus in natura
25/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Fibonacci nell’orecchio. . .
Figura: Fibonacci nell’orecchio. . .
26/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Fibonacci nelle galassie. . .
27/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Fibonacci sulla Mole Antonelliana
Figura: Fibonacci sulla Mole Antonelliana
28/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Perch´e una storia della logica del pensiero
In parallelo al bisogno di avere supporti esterni al calcolo come
l’abaco, l’uomo ha sentito l’esigenza di rendere rigoroso il
ragionamento umano, per eliminare le possibili fallacie del
ragionamento nei passaggi dalle premesse alle conclusioni.
La logica nasce come ricerca di formalizzazione del linguaggio
verbale umano in modo da trovare il modo di rendere il
procedimento alla base del ragionamento indipendente dagli
esseri umani.
La storia della logica si intreccia con la matematica, la filosofia,
l’informatica e la linguistica.
29/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
L’origine della logica: Aristotele
Aristotele (384–322 a.C.) trova come base il ragionamento per
sillogismi. In termini moderni, i sillogismi sono predicati unari
(monadici) che rappresentano il mondo, analogamente a una
mappa con il territorio. La messa in relazione dei sillogismi `e un
calcolo delle classi.
Esempi di sillogismi (Davis 2000:34).
• Tutte le piante sono vive.
• Nessun ippopotamo `e intelligente.
• Alcune persone parlano italiano.
29/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
L’origine della logica: Aristotele
Aristotele (384–322 a.C.) trova come base il ragionamento per
sillogismi. In termini moderni, i sillogismi sono predicati unari
(monadici) che rappresentano il mondo, analogamente a una
mappa con il territorio. La messa in relazione dei sillogismi `e un
calcolo delle classi.
Esempi di sillogismi (Davis 2000:34).
• Tutte le piante sono vive.
• Nessun ippopotamo `e intelligente.
• Alcune persone parlano italiano.
N.B. le parole ‘tutte’, ‘nessun’, ‘alcune’.
Aristotele nella Scuola di Atene di Raffaello
31/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Esempi di ragionamento per sillogismi
Tutti gli uomini sono mortali.
Socrate `e un uomo.
Socrate `e mortale.
31/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Esempi di ragionamento per sillogismi
Tutti gli uomini sono mortali.
Socrate `e un uomo.
Socrate `e mortale.
Tutti i cavalli sono mammiferi.
Tutti i mammiferi sono vertebrati.
Tutti i cavalli sono vertebrati.
31/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Esempi di ragionamento per sillogismi
Tutti gli uomini sono mortali.
Socrate `e un uomo.
Socrate `e mortale.
Tutti i cavalli sono mammiferi.
Tutti i mammiferi sono vertebrati.
Tutti i cavalli sono vertebrati.
Le premesse sono in alto, la conclusione `e sotto la riga (Davis
2000:34).
32/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Raimondo Lullo
Il primo a credere (in)coscientemente che tutto il pensiero
potesse essere ridotto a un algoritmo fu il frate catalano Ramon
Llull, latinizzato in Lullus. Egli diede per primo un’alternativa
al metodo del sillogismo aristotelico.
Nel 1274 pubblica l’Ars Magna (Ars generalis sive Magna) in
cui descrive un insieme di termini semplici, mediante la cui
combinazione tutte le verit`a attingibili dall’intelletto umano
erano derivabili. Scopo dell’opera era la conversione degli ebrei
alle verit`a cristiane.
I termini semplici valgono come primitive concettuali: girando
le ruote si ottengono combinatoriamente tutte le proposizioni
vere del sistema. Probabilmente Lullo attinse dal sapere
cabalistico ebraico, accessibile nella Catalogna del tempo.
La Divina Sapienza mostra la tavola dell’arte combinatoria
(1669, incisione)
Le ruote combinatorie di Lullo
35/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Importanza dell’Ars Magna
La decisione delle primitive concettuali non fu facile: prima 10,
poi 16, 12 e infine 20 principi (Eco 1993:74).
I dettagli del progetto erano ovviamente insensati: ad
esempio, i termini semplici risultavano essere nove
predicati assoluti, nove predicati relativi, nove
questioni, nove soggetti, nove virt´u e nove vizi
(Odifreddi 2003:240).
L’Ars lulliana `e la prima grammatica del pensiero in cui la
procedura `e completamente meccanica.
In altri termini il calcolatore (lo strumento di calcolo) viene
visto come macchina del pensiero.
36/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Luca Pacioli
Monaco francescano, fu un grande divulgatore della matematica
del tempo, e maestro di matematica di Leonardo Da Vinci.
La sua Summa de Aritmetica (1494, 2a edizione 1523) `e la
prima opera a stampa sull’algebra e la prima opera matematica
scritta in volgare. Pacioli riprende il lavoro sulla proporzione
aurea di Piero della Francesca e il Liber Abaci di Fibonacci.
Non ci sono sostanziali innovazioni, ma fioriscono scuole di
abachisti e algoritmisti nell’Italia dei commerci: gli uni
calcolavano con l’abaco, gli altri con la scrittura.
Ritratto di Luca Pacioli
Figura: Contesa tra abachisti e algoritmisti (XVI sec.)
Figura: Altra contesa (XVI sec.)
Margarita Philosophica, Gregor Reisch (1503)
Figura: Pitagora conta con i gettoni, Boezio usa le cifre arabe
41/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Gerolamo Cardano
Medico noto presso le corti del tempo, amico della famiglia Da
Vinci, fu valente matematico: gett`o le basi della teoria della
probabilit`a. A lui si deve il giunto cardanico, molto usato in
meccanica ancora oggi.
La sua Ars Magna (1545) riporta le soluzioni delle equazioni
cubiche (in parte comunicata in via privata da Niccol`o
Tartaglia) e delle equazioni quadratiche (risolta dal suo
studente Lodovico Ferrari, riportato nella prefazione).
Il titolo richiama esplicitamente l’opera di Lullo, e nell’opera
Cardano fa riferimento esplicito ad Al-Khwaritzmi e Fibonacci:
l’Ars Magna rappresenta il punto pi´u alto della matematica e
del calcolo digitale del Cinquecento.
Figura: Gerolamo Cardano
43/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Il Codice di Madrid
Nel 1967 furono scoperti due manoscritti di Leonardo da Vinci
presso la Biblioteca Nazionale Spagnola di Madrid, da allora
noti come ‘Codice di Madrid’. In uno compare un disegno
interpretato come lo schema di una macchina addizionatrice.
Leonardo sembra mostrare il bisogno di avere macchine da
calcolo automatico, non solo e di pi´u degli ausili al calcolo
manuale come l’abaco.
44/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Una ricostruzione contestata
Il dott. Roberto Guatelli, esperto di fama mondiale di Leonardo
da Vinci specializzato nella costruzione di modelli funzionanti
delle macchine di Leonardo, nel 1968 costru´ı un modello
funzionante, esposto in una mostra dell’IBM.
Anche se l’interpretazione fu in seguito contestata, il disegno
mostra chiaramente un treno di 12 ruote dentate, disposte in
modo tale che una completa rotazione di una di esse comporta
l’avanzamento di una posizione della ruota adiacente, principio
alla base delle prime macchine calcolatrici seicentesche.
Figura: La macchina leonardesca del Codice di Madrid
46/46
Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo
Grazie. Domande?
Potete scaricare questa presentazione qui:
http://www.slideshare.net/goberiko/
CC BY: $

C
Federico Gobbo 2010 di tutti i testi. Pubblicato in Italia.
Attribuzione – Non commerciale – Condividi allo stesso modo 2.5
c delle figure degli aventi diritto. In caso di violazione, scrivere a:
federico.gobbo@uninsubria.it.

Contenu connexe

Similaire à 01 Le origini del calcolo digitale 1

Introduzione all'informatica2006
Introduzione all'informatica2006Introduzione all'informatica2006
Introduzione all'informatica2006Davide Motti
 
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...Fausto Intilla
 
Matematica Nella Divina Commedia
Matematica Nella Divina CommediaMatematica Nella Divina Commedia
Matematica Nella Divina CommediaViola Anesin
 
069 ai seminario
069 ai seminario069 ai seminario
069 ai seminariocosimo97
 
Storia della Programmazione
Storia della ProgrammazioneStoria della Programmazione
Storia della Programmazionecruanyes
 
sulle spalle dei giganti guida alla mostra
sulle spalle dei giganti guida alla mostrasulle spalle dei giganti guida alla mostra
sulle spalle dei giganti guida alla mostragiuseppe peranzoni
 

Similaire à 01 Le origini del calcolo digitale 1 (7)

Introduzione all'informatica2006
Introduzione all'informatica2006Introduzione all'informatica2006
Introduzione all'informatica2006
 
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...
Intelligenza Artificiale (Marco Somalvico, Francesco Amigoni, Viola Schiaffon...
 
Matematica Nella Divina Commedia
Matematica Nella Divina CommediaMatematica Nella Divina Commedia
Matematica Nella Divina Commedia
 
069 ai seminario
069 ai seminario069 ai seminario
069 ai seminario
 
Storia della Programmazione
Storia della ProgrammazioneStoria della Programmazione
Storia della Programmazione
 
sulle spalle dei giganti guida alla mostra
sulle spalle dei giganti guida alla mostrasulle spalle dei giganti guida alla mostra
sulle spalle dei giganti guida alla mostra
 
Introduzione all’informatica
Introduzione all’informaticaIntroduzione all’informatica
Introduzione all’informatica
 

Plus de Federico Gobbo

Open Issues of Language Contestation in Italy
Open Issues of Language Contestation in ItalyOpen Issues of Language Contestation in Italy
Open Issues of Language Contestation in ItalyFederico Gobbo
 
Human-Machine Communication strategies in today’s Esperanto community of prac...
Human-Machine Communication strategies in today’s Esperanto community of prac...Human-Machine Communication strategies in today’s Esperanto community of prac...
Human-Machine Communication strategies in today’s Esperanto community of prac...Federico Gobbo
 
Esperanto as Lingua Receptiva / Esperanto Ricevema
Esperanto as Lingua Receptiva / Esperanto RicevemaEsperanto as Lingua Receptiva / Esperanto Ricevema
Esperanto as Lingua Receptiva / Esperanto RicevemaFederico Gobbo
 
L’utilizzo di lingue inventate come strumento di educazione interculturale in...
L’utilizzo di lingue inventate come strumento di educazione interculturale in...L’utilizzo di lingue inventate come strumento di educazione interculturale in...
L’utilizzo di lingue inventate come strumento di educazione interculturale in...Federico Gobbo
 
One species, many languages
One species, many languagesOne species, many languages
One species, many languagesFederico Gobbo
 
Una lingua comune per l'Europa?
Una lingua comune per l'Europa?Una lingua comune per l'Europa?
Una lingua comune per l'Europa?Federico Gobbo
 
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondo
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondoEsperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondo
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondoFederico Gobbo
 
Reflecting upon the European Day of Languages
Reflecting upon the European Day of LanguagesReflecting upon the European Day of Languages
Reflecting upon the European Day of LanguagesFederico Gobbo
 
Interlinguistica ed esperantologia oggi: l’esperienza di Amsterdam
Interlinguistica ed esperantologia oggi: l’esperienza di AmsterdamInterlinguistica ed esperantologia oggi: l’esperienza di Amsterdam
Interlinguistica ed esperantologia oggi: l’esperienza di AmsterdamFederico Gobbo
 
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...Federico Gobbo
 
Complex Arguments in Adpositional Argumentation
Complex Arguments in Adpositional ArgumentationComplex Arguments in Adpositional Argumentation
Complex Arguments in Adpositional ArgumentationFederico Gobbo
 
Assessing linguistic unease to understand (socio)linguistic justice
Assessing linguistic unease to understand (socio)linguistic justiceAssessing linguistic unease to understand (socio)linguistic justice
Assessing linguistic unease to understand (socio)linguistic justiceFederico Gobbo
 
Lingua di contatto e mobilità: il caso dell'esperanto
Lingua di contatto e mobilità: il caso dell'esperantoLingua di contatto e mobilità: il caso dell'esperanto
Lingua di contatto e mobilità: il caso dell'esperantoFederico Gobbo
 
Le lingue di minoranza: il caso dell'esperanto
Le lingue di minoranza: il caso dell'esperantoLe lingue di minoranza: il caso dell'esperanto
Le lingue di minoranza: il caso dell'esperantoFederico Gobbo
 
The Religious Dimensions of the Esperanto Collective Identity
The Religious Dimensions of the Esperanto Collective IdentityThe Religious Dimensions of the Esperanto Collective Identity
The Religious Dimensions of the Esperanto Collective IdentityFederico Gobbo
 
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...Federico Gobbo
 
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...Federico Gobbo
 
Lingva Kafejo: Esperanto
Lingva Kafejo: EsperantoLingva Kafejo: Esperanto
Lingva Kafejo: EsperantoFederico Gobbo
 
Fare musica in esperanto : ieri, oggi, domani
Fare musica in esperanto : ieri, oggi, domaniFare musica in esperanto : ieri, oggi, domani
Fare musica in esperanto : ieri, oggi, domaniFederico Gobbo
 
Hollywood Languages: The Challenge of Interlinguistics in the New Millennium
Hollywood Languages: The Challenge of Interlinguistics in the New MillenniumHollywood Languages: The Challenge of Interlinguistics in the New Millennium
Hollywood Languages: The Challenge of Interlinguistics in the New MillenniumFederico Gobbo
 

Plus de Federico Gobbo (20)

Open Issues of Language Contestation in Italy
Open Issues of Language Contestation in ItalyOpen Issues of Language Contestation in Italy
Open Issues of Language Contestation in Italy
 
Human-Machine Communication strategies in today’s Esperanto community of prac...
Human-Machine Communication strategies in today’s Esperanto community of prac...Human-Machine Communication strategies in today’s Esperanto community of prac...
Human-Machine Communication strategies in today’s Esperanto community of prac...
 
Esperanto as Lingua Receptiva / Esperanto Ricevema
Esperanto as Lingua Receptiva / Esperanto RicevemaEsperanto as Lingua Receptiva / Esperanto Ricevema
Esperanto as Lingua Receptiva / Esperanto Ricevema
 
L’utilizzo di lingue inventate come strumento di educazione interculturale in...
L’utilizzo di lingue inventate come strumento di educazione interculturale in...L’utilizzo di lingue inventate come strumento di educazione interculturale in...
L’utilizzo di lingue inventate come strumento di educazione interculturale in...
 
One species, many languages
One species, many languagesOne species, many languages
One species, many languages
 
Una lingua comune per l'Europa?
Una lingua comune per l'Europa?Una lingua comune per l'Europa?
Una lingua comune per l'Europa?
 
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondo
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondoEsperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondo
Esperanto: el Eŭropa lulilo al disvastiĝo tra la tuta mondo
 
Reflecting upon the European Day of Languages
Reflecting upon the European Day of LanguagesReflecting upon the European Day of Languages
Reflecting upon the European Day of Languages
 
Interlinguistica ed esperantologia oggi: l’esperienza di Amsterdam
Interlinguistica ed esperantologia oggi: l’esperienza di AmsterdamInterlinguistica ed esperantologia oggi: l’esperienza di Amsterdam
Interlinguistica ed esperantologia oggi: l’esperienza di Amsterdam
 
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...
Adpositional Argumentation: How Logic Originates In Natural Argumentative Dis...
 
Complex Arguments in Adpositional Argumentation
Complex Arguments in Adpositional ArgumentationComplex Arguments in Adpositional Argumentation
Complex Arguments in Adpositional Argumentation
 
Assessing linguistic unease to understand (socio)linguistic justice
Assessing linguistic unease to understand (socio)linguistic justiceAssessing linguistic unease to understand (socio)linguistic justice
Assessing linguistic unease to understand (socio)linguistic justice
 
Lingua di contatto e mobilità: il caso dell'esperanto
Lingua di contatto e mobilità: il caso dell'esperantoLingua di contatto e mobilità: il caso dell'esperanto
Lingua di contatto e mobilità: il caso dell'esperanto
 
Le lingue di minoranza: il caso dell'esperanto
Le lingue di minoranza: il caso dell'esperantoLe lingue di minoranza: il caso dell'esperanto
Le lingue di minoranza: il caso dell'esperanto
 
The Religious Dimensions of the Esperanto Collective Identity
The Religious Dimensions of the Esperanto Collective IdentityThe Religious Dimensions of the Esperanto Collective Identity
The Religious Dimensions of the Esperanto Collective Identity
 
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...
I limiti dell'invenzione linguistica: la tipologia linguistica dall'esperanto...
 
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...
Sei definizioni in cerca di una disciplina - Interlinguistica tra comunicazio...
 
Lingva Kafejo: Esperanto
Lingva Kafejo: EsperantoLingva Kafejo: Esperanto
Lingva Kafejo: Esperanto
 
Fare musica in esperanto : ieri, oggi, domani
Fare musica in esperanto : ieri, oggi, domaniFare musica in esperanto : ieri, oggi, domani
Fare musica in esperanto : ieri, oggi, domani
 
Hollywood Languages: The Challenge of Interlinguistics in the New Millennium
Hollywood Languages: The Challenge of Interlinguistics in the New MillenniumHollywood Languages: The Challenge of Interlinguistics in the New Millennium
Hollywood Languages: The Challenge of Interlinguistics in the New Millennium
 

01 Le origini del calcolo digitale 1

  • 1. 1/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Le origini del calcolo digitale – 1 Epistemologia, Deontologia ed Etica dell’Informatica Storia dell’Informatica e della Comunicazione Digitale Federico Gobbo federico.gobbo@uninsubria.it CRII – Centro di Ricerca “Informatica Interattiva” Universit`a dell’Insubria, Varese–Como CC Alcuni diritti riservati. A.A. 2010-11
  • 2. 2/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo I tre fattori dell’innovazione tecnologica Primo: le idee. Le idee sono sempre veicolate da persone, e per questo motivo vedremo alcuni dati biografici degli uomini (e donne) che hanno fatto la storia dell’informatica e della comunicazione digitale. Fattore endogeno.
  • 3. 2/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo I tre fattori dell’innovazione tecnologica Primo: le idee. Le idee sono sempre veicolate da persone, e per questo motivo vedremo alcuni dati biografici degli uomini (e donne) che hanno fatto la storia dell’informatica e della comunicazione digitale. Fattore endogeno. Secondo: i media. I media sono i supporti di concretizzazione delle idee destinati a emettere, preservare o ricevere i messaggi. Noi vedremo il caso speciale dei media digitali. Vedremo che le idee spesso vengono prima dei supporti tecnologici. Fattore esogeno.
  • 4. 2/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo I tre fattori dell’innovazione tecnologica Primo: le idee. Le idee sono sempre veicolate da persone, e per questo motivo vedremo alcuni dati biografici degli uomini (e donne) che hanno fatto la storia dell’informatica e della comunicazione digitale. Fattore endogeno. Secondo: i media. I media sono i supporti di concretizzazione delle idee destinati a emettere, preservare o ricevere i messaggi. Noi vedremo il caso speciale dei media digitali. Vedremo che le idee spesso vengono prima dei supporti tecnologici. Fattore esogeno. Terzo: il contesto sociale. `E determinato storicamente: quando e dove sono sorte le idee? Quali i supporti disponibili? Vedremo che le idee nel “farsi tecnologia” devono farsi accettare nel sistema dei media, travestendosi (legge della carrozza senza cavalli). Fattore esogeno.
  • 5. 3/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Perch´e supporti esterni al calcolo? I calculi L’attivit`a di calcolo richiede garanzie di correttezza e capacit`a di memorizzazione dei risultati, e la mente non basta. Il primo ausilio artificiale al calcolo `e il calculus, in latino ‘pietruzza’, ‘ciottolo’ (pensate per esempio ai ‘calcoli renali’). Le pietruzze venivano collocate sulla sabbia o su supporti pi´u duraturi e trasportabili come una tavoletta, su linee successive rappresentanti i diversi ordini.
  • 6.
  • 7. 5/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Le dita come supporto al calcolo ‘Digitale’ deriva da dito. Le dita delle mani possono indicare i numeri in maniera anche molto sofisticata: gli egizi riuscivano a rappresentare i numeri naturali da 1 a 9.999 con le sole dieci dita. Il fatto che gli esseri umani abbiano dieci dita e l’uso del sistema decimale non sono elementi correlati biologicamente: nella storia diverse culture hanno usato una notazione posizionale diversa dalla base dieci.
  • 8. Dal Summa de Arithmetica di Luca Pacioli, 1494
  • 9. 7/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Cronologia sommaria dell’abaco La parola ‘abaco’ deriva dal greco abaks, a sua volta preso dal semitico abaq, ‘sabbia’ o ‘polvere’. • abaco babilonese (2000 a.C.) • abaco greco (VI sec. a.C., menzionato da Demostene) • tavoli di Salamina (300 a.C.) • scacchiera cinese (200) • apices (gettoni di corno romani, 500) • Quipu inca (1000) • Swan pan (abaco cinese, 1200) • Soroban (abaco giapponese, 1500) • Schoty (abaco russo, 1600)
  • 10.
  • 14. Figura: Abachi da tavolo rinascimentali
  • 15. 13/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Il calcolatore pi´u longevo della storia Nel 1946 si tenne a Tokyo un torneo tra un abachista giapponese (Kiyoshi Matsuzaki) e una calcolatrice da ufficio; durato due giorni, vinse l’abachista (Yoshino 1963:vi). Nel 1957 i Russi usarono l’abaco per alcuni calcoli necessari al lancio nello spazio dello Sputnik (Guedj 1997:147). Ancora oggi in Giappone il soroban viene usato normalmente alle scuole elementari per imparare a far di conto e nelle regioni rurali della Cina.
  • 16. Figura: Abachista moscovita, grandi magazzini GUM, 1958
  • 17. 15/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Al-Khwaritzmi Dopo la caduta dell’Impero Romano d’Occidente la tradizione del sapere matematico greco viene conservata dagli arabi, a cui dobbiamo le cifre che usiamo oggi e il concetto di zero. Il matematico arabo Muhammad ibn Musa al-Khwarizmi (Mohamed figlio di Moses nativo di Khowarizm, oggi Khiva, Uzbekistan) scrive attorno all’825 un libro di compendio sul calcolo mediante costruzione e riduzione, intitolato ‘al-Kit`ab al-mukhtasar fi hisab al-jabr wa’l-muq`abala’.
  • 19. 17/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo La doppia natura degli algoritmi L’opera di Al-Khwaritzmi descrive in modo formale e generale le regole per eseguire le operazioni sulle rappresentazioni decimali dei numeri interi, coniugando l’approccio babilonese (algebrico), di tipo pratico, e l’approccio euclideo (geometrico), di tipo formale. I primi esempi di algoritmi . . . risalgono ai primordi della matematica. Sia la formula algebrica babilonese per la risoluzione dell’equazione di secondo grado, sia le costruzioni geometriche greche con riga e compasso, posseggono infatti quelle propriet`a di calcolabilit`a e costruibilit`a presenti nel titolo del libro di Al Khwarizmi, e caratteristiche della nozione di algoritmo (Odifreddi 2003:239). La doppia natura di ogni algoritmo `e una caratteristica fondamentale dell’informatica.
  • 20. 18/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Leonardo da Pisa, detto Fibonacci L’opera di Al-Khwaritzmi fu divulgata in occidente da Leonardo da Pisa, Filius Bonacci, figlio di Bonaccio, da cui ‘Fibonacci’, nel Liber Abaci (1202), in cui introduce in Europa le cifre arabe, l’abaco, la partita doppia, e naturalmente i numeri di Fibonacci. Il nome Al-Khwaritzmi viene latinizzato in algorismus da cui la parola ‘algoritmo’. Dalla parola ‘al-jabr’ del titolo del libro arabo deriva il nostro termine algebra. Entrambi i termini li dobbiamo a Fibonacci.
  • 22. 20/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Detour: i numeri di Fibonacci Quanti conigli produce una coppia di conigli in un anno, assumendo che ogni mese una coppia procrei un’altra coppia che `e fertile dal secondo mese in poi e che i conigli non muoiano mai? Figura: I numeri di Fibonacci
  • 23. 21/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo La successione dei numeri di Fibonacci La successione: 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, . . . pu`o essere rappresentata con una doppia ricorsione in un linguaggio di programmazione (esempio in C): int f i b ( int n) { i f (n==0 | | n==1) return n ; return f i b (n−1) + f i b (n−2); } oppure con un’espressione algebrica, attribuita al matematico francese Binet (1843), ma gi`a nota ad Eulero, Daniel Bernoulli e de Moivre: Figura: Equazione di Binet
  • 24. 22/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Numeri di Fibonacci e proporzione aurea Questa proporzione appare controintuitiva ma la ritroviamo nella proporzione aurea: il rapporto perfetto, divino, gi`a presente in natura, riportato negli Elementi di Euclide, nell’architettura classica e ripreso nel Rinascimento italiano. Piero della Francesca nel Trattato d’Abaco espone i procedimenti matematici che usano la proporzione aurea, che avr`a grande successo in architettura.
  • 25. 23/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Nautilus al compasso Figura: Nautilus al compasso
  • 26. 24/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Nautilus in natura
  • 27. 25/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Fibonacci nell’orecchio. . . Figura: Fibonacci nell’orecchio. . .
  • 28. 26/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Fibonacci nelle galassie. . .
  • 29. 27/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Fibonacci sulla Mole Antonelliana Figura: Fibonacci sulla Mole Antonelliana
  • 30. 28/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Perch´e una storia della logica del pensiero In parallelo al bisogno di avere supporti esterni al calcolo come l’abaco, l’uomo ha sentito l’esigenza di rendere rigoroso il ragionamento umano, per eliminare le possibili fallacie del ragionamento nei passaggi dalle premesse alle conclusioni. La logica nasce come ricerca di formalizzazione del linguaggio verbale umano in modo da trovare il modo di rendere il procedimento alla base del ragionamento indipendente dagli esseri umani. La storia della logica si intreccia con la matematica, la filosofia, l’informatica e la linguistica.
  • 31. 29/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo L’origine della logica: Aristotele Aristotele (384–322 a.C.) trova come base il ragionamento per sillogismi. In termini moderni, i sillogismi sono predicati unari (monadici) che rappresentano il mondo, analogamente a una mappa con il territorio. La messa in relazione dei sillogismi `e un calcolo delle classi. Esempi di sillogismi (Davis 2000:34). • Tutte le piante sono vive. • Nessun ippopotamo `e intelligente. • Alcune persone parlano italiano.
  • 32. 29/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo L’origine della logica: Aristotele Aristotele (384–322 a.C.) trova come base il ragionamento per sillogismi. In termini moderni, i sillogismi sono predicati unari (monadici) che rappresentano il mondo, analogamente a una mappa con il territorio. La messa in relazione dei sillogismi `e un calcolo delle classi. Esempi di sillogismi (Davis 2000:34). • Tutte le piante sono vive. • Nessun ippopotamo `e intelligente. • Alcune persone parlano italiano. N.B. le parole ‘tutte’, ‘nessun’, ‘alcune’.
  • 33. Aristotele nella Scuola di Atene di Raffaello
  • 34. 31/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Esempi di ragionamento per sillogismi Tutti gli uomini sono mortali. Socrate `e un uomo. Socrate `e mortale.
  • 35. 31/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Esempi di ragionamento per sillogismi Tutti gli uomini sono mortali. Socrate `e un uomo. Socrate `e mortale. Tutti i cavalli sono mammiferi. Tutti i mammiferi sono vertebrati. Tutti i cavalli sono vertebrati.
  • 36. 31/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Esempi di ragionamento per sillogismi Tutti gli uomini sono mortali. Socrate `e un uomo. Socrate `e mortale. Tutti i cavalli sono mammiferi. Tutti i mammiferi sono vertebrati. Tutti i cavalli sono vertebrati. Le premesse sono in alto, la conclusione `e sotto la riga (Davis 2000:34).
  • 37. 32/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Raimondo Lullo Il primo a credere (in)coscientemente che tutto il pensiero potesse essere ridotto a un algoritmo fu il frate catalano Ramon Llull, latinizzato in Lullus. Egli diede per primo un’alternativa al metodo del sillogismo aristotelico. Nel 1274 pubblica l’Ars Magna (Ars generalis sive Magna) in cui descrive un insieme di termini semplici, mediante la cui combinazione tutte le verit`a attingibili dall’intelletto umano erano derivabili. Scopo dell’opera era la conversione degli ebrei alle verit`a cristiane. I termini semplici valgono come primitive concettuali: girando le ruote si ottengono combinatoriamente tutte le proposizioni vere del sistema. Probabilmente Lullo attinse dal sapere cabalistico ebraico, accessibile nella Catalogna del tempo.
  • 38. La Divina Sapienza mostra la tavola dell’arte combinatoria (1669, incisione)
  • 40. 35/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Importanza dell’Ars Magna La decisione delle primitive concettuali non fu facile: prima 10, poi 16, 12 e infine 20 principi (Eco 1993:74). I dettagli del progetto erano ovviamente insensati: ad esempio, i termini semplici risultavano essere nove predicati assoluti, nove predicati relativi, nove questioni, nove soggetti, nove virt´u e nove vizi (Odifreddi 2003:240). L’Ars lulliana `e la prima grammatica del pensiero in cui la procedura `e completamente meccanica. In altri termini il calcolatore (lo strumento di calcolo) viene visto come macchina del pensiero.
  • 41. 36/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Luca Pacioli Monaco francescano, fu un grande divulgatore della matematica del tempo, e maestro di matematica di Leonardo Da Vinci. La sua Summa de Aritmetica (1494, 2a edizione 1523) `e la prima opera a stampa sull’algebra e la prima opera matematica scritta in volgare. Pacioli riprende il lavoro sulla proporzione aurea di Piero della Francesca e il Liber Abaci di Fibonacci. Non ci sono sostanziali innovazioni, ma fioriscono scuole di abachisti e algoritmisti nell’Italia dei commerci: gli uni calcolavano con l’abaco, gli altri con la scrittura.
  • 42. Ritratto di Luca Pacioli
  • 43. Figura: Contesa tra abachisti e algoritmisti (XVI sec.)
  • 44. Figura: Altra contesa (XVI sec.)
  • 45. Margarita Philosophica, Gregor Reisch (1503) Figura: Pitagora conta con i gettoni, Boezio usa le cifre arabe
  • 46. 41/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Gerolamo Cardano Medico noto presso le corti del tempo, amico della famiglia Da Vinci, fu valente matematico: gett`o le basi della teoria della probabilit`a. A lui si deve il giunto cardanico, molto usato in meccanica ancora oggi. La sua Ars Magna (1545) riporta le soluzioni delle equazioni cubiche (in parte comunicata in via privata da Niccol`o Tartaglia) e delle equazioni quadratiche (risolta dal suo studente Lodovico Ferrari, riportato nella prefazione). Il titolo richiama esplicitamente l’opera di Lullo, e nell’opera Cardano fa riferimento esplicito ad Al-Khwaritzmi e Fibonacci: l’Ars Magna rappresenta il punto pi´u alto della matematica e del calcolo digitale del Cinquecento.
  • 48. 43/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Il Codice di Madrid Nel 1967 furono scoperti due manoscritti di Leonardo da Vinci presso la Biblioteca Nazionale Spagnola di Madrid, da allora noti come ‘Codice di Madrid’. In uno compare un disegno interpretato come lo schema di una macchina addizionatrice. Leonardo sembra mostrare il bisogno di avere macchine da calcolo automatico, non solo e di pi´u degli ausili al calcolo manuale come l’abaco.
  • 49. 44/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Una ricostruzione contestata Il dott. Roberto Guatelli, esperto di fama mondiale di Leonardo da Vinci specializzato nella costruzione di modelli funzionanti delle macchine di Leonardo, nel 1968 costru´ı un modello funzionante, esposto in una mostra dell’IBM. Anche se l’interpretazione fu in seguito contestata, il disegno mostra chiaramente un treno di 12 ruote dentate, disposte in modo tale che una completa rotazione di una di esse comporta l’avanzamento di una posizione della ruota adiacente, principio alla base delle prime macchine calcolatrici seicentesche.
  • 50. Figura: La macchina leonardesca del Codice di Madrid
  • 51. 46/46 Introduzione I primi supporti al calcolo L’abaco Algebra e algoritmo La logica del pensiero da Luca Pacioli a Leonardo Grazie. Domande? Potete scaricare questa presentazione qui: http://www.slideshare.net/goberiko/ CC BY: $ C Federico Gobbo 2010 di tutti i testi. Pubblicato in Italia. Attribuzione – Non commerciale – Condividi allo stesso modo 2.5 c delle figure degli aventi diritto. In caso di violazione, scrivere a: federico.gobbo@uninsubria.it.