“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

Search Medium Write

The note you're looking for was deleted.

Get unlimited access to the best of Medium for less than $1/week. Become a member

“Calculemus!”: il sogno di Leibniz

Luigi Catalani · Follow
3 min read · Mar 2, 2018

13

La  complessità  dell’universo  in  un  unico  calcolo  simbolico

L’idea  lulliana  di  un  alfabeto  del  pensiero  umano  che  funzioni
automaticamente,  mediante  la  combinazione  di  lettere,  fu  sviluppata
quattro  secoli  più  tardi  nella  Dissertatio  de  arte  combinatoria  (1666)  da
Gottfried  Leibniz,  la  mise  in  relazione  con  la  sua  idea  di  una  mathesis
universalis,  cioè  di  una  logica  concepita  come  matematica
generalizzata.

“Secondo ciò — scrive Leibniz — quando sorga

una controversia, non ci sarà più necessità di
discussione tra due filosofi di quella che c’è tra
due calcolatori. Sarà sufficiente prendere una
penna, sedersi al tavolo e dirsi l’un l’altro:
calcoliamo (calculemus)!”.

1 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

The note you're looking for was deleted.

L’  Ars  lulliana  è  interpretata,  dunque,  come  un  tipo  di  pensiero
automatico,  una  sorta  di  meccanismo  concettuale  che,  una  volta
stabilito,  funziona  da  sé.  Questo  automatismo  concettuale  fu  a  lungo
accarezzato  da  Leibniz,  il  primo  a  progettare,  dopo  Blaise  Pascal,  la
realizzazione  di  una  macchina  per  calcolare  affidabile.

Martin  Davis  —  logico,  pioniere  dell’informatica  e  divulgatore  di  storia

della  scienza  —  ha  ricostruito  la  storia  concettuale  del  calcolatore
universale,  a  partire  dal  cosiddetto  “sogno  di  Leibniz”,  ossia  il
desiderio  di  escogitare  un  calcolo  simbolico,  un’algebra  del  pensiero,
grazie  alla  quale  risolvere  ogni  tipo  di  problema.  Leibniz  sognava  di
realizzare  per  l’intera  conoscenza  umana  qualcosa  di  simile  alla
notazione  per  il  calcolo  differenziale  e  integrale,  che  egli  aveva  creato
per  eseguire  facilmente  calcoli  complicatissimi.

Il  filosofo  tedesco  divise  il  suo  programma  in  tre  parti:  la  creazione  di
un’enciclopedia  che  abbracciasse  tutta  la  conoscenza  umana,  la  scelta
delle  nozioni  fondamentali  e  dei  simboli  ad  esse  adeguati,  la  riduzione
delle  regole  deduttive  a  manipolazioni  di  questi  simboli,  ovvero  al
calculus  ratiocinator,  l’odierna  logica  simbolica.  Affascinato  dalla
divisione  aristotelica  dei  concetti  in  categorie,  Leibniz  concepì  l’idea  di
un  alfabeto  speciale  —  i  cui  elementi  stessero  per  concetti  —  in  grado
di  stabilire,  per  mezzo  di  calcoli  simbolici,  quali  dei  suoi  enunciati
erano  veri  e  quali  relazioni  logiche  intercorrevano  tra  loro:  il  primo
passo  verso  un  alfabeto  dei  concetti  consisteva  nell’enumerare  tutte  le
possibili  combinazioni  dei  concetti  tra  loro.

2 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

The note you're looking for was deleted.

Gottfried Wilhelm von Leibniz (Pubblico dominio, Wikimedia Commons)

Leibniz,  che  nel  1673  presentò  a  Londra  un  modello  di  macchina
calcolatrice  capace  di  eseguire  le  quattro  operazioni  aritmetiche
fondamentali,  intuì  che  riuscire  a  meccanizzare  il  calcolo  aveva  un
significato  ben  più  ampio.  Egli  paragonò  il  ragionamento  logico  a  un
meccanismo,  con  l’intento  di  ridurre  ogni  ragionamento  a  una  sorta  di
calcolo  e  costruire  una  macchina  capace  di  calcolare  in  questo  senso
generale.  Nel  1675  egli  fece  importanti  passi  in  avanti  —  concettuali  e
computazionali  —  nell’uso  dei  passaggi  al  limite  (ossia  i  tentativi  di
ottenere  nei  calcoli  un  valore  esatto,  non  accontentandosi  di  valori
approssimati  particolari),  fino  a  giungere  all’invenzione  del  calcolo
infinitesimale.

3 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

The note you're looking for was deleted.

Leibniz  comprese  la  necessità  di  scegliere  simboli  adatti  a
rappresentare  tutti  i  concetti  fondamentali  (l’alfabeto  del  pensiero
umano)  e  di  trovare  regole  (strumenti  di  calcolo)  che  ne  governassero
la  manipolazione.  Nella  terminologia  di  Leibniz,  un  sistema  simbolico
con  queste  proprietà  era  una  ‘caratteristica’.  Ogni  simbolo  del  tipo  di
quelli  usati  in  algebra,  chimica  o  astronomia  (non  i  simboli  alfabetici,
privi  di  significato)  rappresenta  un’idea  definita,  una  ‘caratteristica
reale’.  Ma  Leibniz  avvertiva  la  necessità  di  una  caratteristica
universale,  cioè  di  un  sistema  di  simboli  che  non  solo  fosse  reale  ma
abbracciasse  anche  tutto  il  pensiero  umano.  Leibniz  rimase  colpito
dalla  semplicità  della  notazione  binaria,  che  permetteva  di  scrivere
qualsiasi  numero  usando  solo  0  e  1.

Il sogno di Leibniz consisteva dunque nel ridurre

la complessità dell’universo ad un unico calcolo
simbolico. Sarebbe stato così possibile
trasformare il ragionamento in calcolo.

Ma  non  solo:  la  characteristica  sarebbe  stata  preziosa  anche  come  ars
inveniendi  poiché  attraverso  la  combinazione  dei  caratteri  primitivi
sarebbe,  infatti,  stato  possibile  ottenere  sistematicamente  e  in  modo
ordinato  tutte  le  nozioni  possibili.  Come  ha  ricordato  Ugo  Pagallo
(Introduzione  alla  filosofia  digitale,  Giappichelli,  2005),  Leibniz  anticipa
con  straordinaria  consapevolezza  le  ricerche  di  logica  simbolica,
algebra,  combinatoria,  probabilistica,  binaria,  oltre  alle  nuove  forme
di  calcolo  infinitesimale,  che  avrebbero  poi  condotto,  tra  le  altre  cose,
alla  creazione  del  computer  e  ai  temi  della  digital  philosophy  (così  come

4 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

la  characteristica  universalis  anticipa  quello  che  secoli  dopo  sarà  il

The note you're looking for was deleted.
dibattito  sull’Intelligenza  Artificiale).

Per  approfondire

M.  Davis,  The  Universal  Computer.  The  Road  from  Leibniz  to  Turing,  2000;
tr.  it.  Il  calcolatore  universale,  Milano  2003,  nuova  ed.  2012.

U.  Pagallo,  Introduzione  alla  filosofia  digitale.  Da  Leibniz  a  Chaitin,

Torino  2005.

Filosofia Informatica Leibniz Calcolo Filosofia Digitale

P.  Rossi,  Clavis  Universalis.  Arti  mnemoniche  e  logica  combinatoria  da
Lullo  a  Leibniz,  Bologna  1983.
Some rights reserved

Written by Luigi Catalani Follow

225 Followers

More from Luigi Catalani

5 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

The note you're looking for was deleted.

Luigi Catalani
Luigi Catalani

Informatica e Filosofia: contatto!

Le radici logiche
Brevi note bibliografiche su un legame
dell’informatica
antico e profondo
Da George Boole a Kurt Gödel

10 min read · Mar 5, 2018 7 min read · Feb 23, 2018

65 14

6 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

Luigi Catalani Luigi Catalani

The note you're looking for was deleted.

Le origini filosofiche del Informatica umanistica e Digital
paradigma computazionale Humanities
Astrazioni matematiche, numeri Appunti di inizio corso
irrazionali e arte combinatoria

5 min read · Mar 2, 2018

17

5 min read · Feb 19, 2018

35
See all from Luigi Catalani

Recommended from Medium

7 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

Unbecoming AL Anany

The note you're looking for was deleted.

10 Seconds That Ended My 20
Year Marriage
It’s August in Northern Virginia, hot and
humid. I still haven’t showered from my...
morning trail run. I’m wearing my stay-at-
· 4 min read · Feb 16, 2022
The ChatGPT Hype Is Over—
Now Watch How Google Will Ki…
ChatGPT.
It never happens instantly. The business
game is longer than you know.

62K 919
· 6 min read · Sep 1

Lists 3K 119

Staff Picks Stories to Help You Level-

430 stories · 262 saves Up at Work
19 stories · 201 saves

Self-Improvement 101 Productivity 101

20 stories · 534 saves 20 stories · 504 saves

8 di 9 09/09/23, 10:24
“Calculemus!”: il sogno di Leibniz | by Luigi Catalani | Medium https://medium.com/@luigicatalani/calculemus-il-sogno-di-leibni...

The Bold Italic in The Bold Italic Scott-Ryan Abt in Pitfall

The note you're looking for was deleted.

Why I’m breaking up with Bye Bye, Spotify
Burning Man And see ya later, all you
Adriana Roberts is a wel services in my little emp
who has gone for 30 yea
quit the playa. This is wh

7 min read

Nick Wignall

The PyCoach in Artificial Corner 3 Habits That Will Make You

Mentally Strong
You’re Using ChatGPT Wrong!
#2: Avoid unnecessary mental time travel
Here’s How to Be Ahead of 99…
of ChatGPT
Master ChatGPTUsers
by learning prompt
engineering.

· 7 min read · Mar 17 · 9 min read · Apr 2

31K 568 12.6K 320

See more recommendations

9 di 9 09/09/23, 10:24