Un altro dioniso è possibile? Condizionali controfattuali e relativa semantica

È giusto supporre che ognuno di noi abbia consapevolezza della propria esistenza? Io sono consapevole della mia esistenza? Sono consapevole del me stesso che esiste?
Prima di tutto dovrei definire chi è "me stesso". Sono l'io di questo momento in quanto Dioniso? Oppure in quanto alter-ego di Dioniso?
Ma quando e se qualcuno leggerà ciò che sto scrivendo, io non sarò più l'io di questo momento; così come diceva Battiato relativamente al bagno nel fiume...  o forse lo diceva qualcun altro...?

Vabbè mettiamoci d'accordo e diciamo che il "me stesso" coincide con  Dioniso. Partendo da queste premesse potrei avere anche la consapevolezza della possibile esistenza di un altro me stesso?
Potrei cioè spingermi ad immaginare un altro Dioniso? E se sì, quanto diverso da me?
Io, come Dioniso, nasco martedì 1° agosto 2006. Dopo una gestazione di quasi nove mesi esatti (nove mesi meno una settimana per la precisione) da un evento rifondante, che chiamerò R, della vita del mio alter-ego. E la mia nascita fu fortemente influenzata da quell'evento. È quindi molto probabile che senza quell'evento rifondante io non sarei mai nato. O almeno non sarei stato il Dioniso di adesso. Posso quindi facilmente immaginare una serie di mondi possibili in cui o io non esisto oppure sono diverso dal Dioniso di adesso.
Vediamo qualche esempio. Indicando con M_a il mondo attuale potrei immaginare altri mondi in cui probabilmente non sono mai nato in quanto:

1. R non è mai occorso
2. R non ha prodotto i risultati sperati per il mio alter ego. (Questo però è un mondo estremo, in quanto in quel mondo non esisterebbe più neppure il mio alter ego.)
3. R è occorso ma esiste una sostanza chiamata trombonio inesistente in M_a.
   Ma in questo mondo intermedio potrei anche essere nato in quanto R potrebbe avere avuto esiti molto simili a quelli che ha avuto in M_a. Esiti diversi li avrebbe invece sicuramente avuti se aggiungiamo la seguente ipotesi.
4. Un gruppo di ricercatori usando il trombonio ha sviluppato una tecnica che rende semplicissima la risoluzione di R.

Mondi in cui sono nato ma non esisto più in quanto:

5. il mio alter ego si è scocciato di me.
6. un evento R^C ha annullato gli effetti di R.

Mondi in cui io esisto ma sono diverso:

7. ho un volto diverso in quanto il mio alter ego non ha visitato il museo di Lipari durante il viaggio alle Eolie del 2006.

Potremmo rappresentare i suddetti mondi possibili in questo schemino:

Dove con M₁ - M₇ indico i mondi descritti nei punti 1-7 della precedente lista (M_a potrei anche indicarlo con M₀). A questo punto vi chiederete, ma che cosa rappresentano le linee? Ad esempio, perché il mondo M₃ ed il mondo M₄ sono connessi da una linea? Semplice! Quella linea significa che a partire dalla realtà del  mondo M₃ è possibile concepire la realtà del mondo M₄. Mentre non esiste una linea che congiunga il mondo M_a al mondo M_4. Infatti se in M_a non esiste il trombonio allora da M_a non è concepibile un mondo in cui un gruppo di ricercatori abbia sviluppato una tecnica che usa il trombonio. Sarà necessario allora il mondo intermedio M₃ che è invece concepibile a partire da M_a e da cui è concepibile M₄. Nota a margine: dall'osservazione precedente segue che, in questo specifico caso, la nostra relazione di accessibilità non è transitiva.

Ora, se ci si limita a considerare solo l'accessibilità tra mondi allora si è nel dominio della Logica Modale. E in quel dominio ci si può interrogare solo sulle proprietà della relazione di accessibilità quali appunto la transitività, la simmetria, la riflessività ed altre, e come tali proprietà si riflettano nelle rispettiva sintassi (per una definizione di sintassi e semantica di un sistema di Logica matematica si veda Il mondo finirà nel 2012? Una questione di Logica modale? - quarta parte).

Potremmo però anche spingerci a chiederci quanto questi mondi M_i - con i che può variare da 1 a 7 - siano distanti dal mondo attuale M_a. Ad esempio è più distante il mondo in cui io non esisto? Oppure il mondo in cui il mio alter ego non esiste? Personalmente tenderei a dire altro ma un irrefrenabile forza interiore mi spinge a dire che è più vicino, o detto in altri termini più simile, al mondo attuale il mondo in cui io non esisto. (Detto tra noi, quando percepisco queste irrefrenabili forze interiori mi viene un po' da mettere in discussione il principio del libero arbitrio). Possiamo quindi definire intuitivamente una nozione di distanza tra mondi.

A questo punto che cosa significherebbe valutare la verità di questa affermazione: ND = "Se R non fosse occorso allora Dioniso non esisterebbe"? Significherebbe andare a scegliere, tra gli infiniti mondi concepibili a partire da quello attuale, quel mondo più simile a quello attuale M_a in cui R non è occorso. E lì porsi la domanda: esiste Dioniso in questo mondo? Se la risposta è no, allora l'affermazione ND è vera. Detto in altri termini: tra tutti i mondi possibili in cui R non è occorso ce ne sarà almeno uno in cui Dioniso non esiste. Se questo mondo è più simile al mondo attuale rispetto ad ogni altro mondo in cui R non è occorso eppure Dioniso esiste, allora potrò dire che ND è vera.

Espressa in modo un po' un po' più formale ma molto semplificato, la sintassi per la logica condizionale può essere definita introducendo, a fianco dell'operatore di implicazione classico →, un nuovo operatore di implicazione condizionale >. Date due proposizioni P e Q l'operatore di implicazione classico (o materiale)
P → Q verrà letto come se P è vera allora Q è vera. Mentre l'operatore di implicazione condizionale (o controfattuale)
P > Q verrà letto come se P si fosse verificata allora Q si sarebbe verificata.

Una volta definita la sintassi possiamo definire la semantica per la logica condizionale nel seguente modo. Indicando con M  l'insieme di tutti i mondi possibili e con L l'insieme di tutte le proposizioni, definiamo la funzione f che ad ogni mondo M_i di M e ad ogni proposizione P associa il mondo M_j più vicino ad M_i in cui P è vera. Espresso in termini più formali:

f: M x L → M : f(M_i, P) = M_j

In questa semantica P > Q è vera in M_i sse Q è vera in f(M_i, P) = M_j

Per approfondimenti
Possible world semantics, Notes on conditional semantics, Counterfactual conditional, Indicative conditional, Relevance logic, Implicazione logica, Mondi possibili e supposizioni controfattuali

Equinozio di Primavera e SuperPerigeo

Quest'anno l'Equinozio di Primavera cade oggi alle 23:21. Ed occorre quasi in coincidenza con il super perigeo che è occorso ieri. Che cos'è il il super perigeo? Con super perigeo si indica comunemente quella coincidenza per cui la luna si trova quasi contemporaneamente al perigeo (punto più vicino alla Terra) ed al plenilunio.

In particolare la luna piena di ieri è occorsa a meno di un'ora di distanza dal perigeo. Una coincidenza di meno di un'ora occorre ogni 18 anni circa. L'ultima era avvenuta nel marzo del 1993. Il risultato della coincidenza dovrebbe essere una dimensione del disco lunare più grande del 14% ed una luminosità superiore del 30% rispetto all'apogeo.
Per maggiori dettagli potete leggere questa pagina che la NASA ha dedicato all'evento. Qui c'è anche il video. Un'altra interessante iniziativa legata anche all'equinozio è quella di globolocal che propone uno strumento per "ripensare la propria posizione sul globo terrestre in relazione a tutti gli altri Paesi: il Mappamondo Parallelo".
Proponiamo uno strumento che permetta a tutti di ripensare la propria posizione sul globo terrestre in relazione a tutti gli altri Paesi: il Mappamondo Parallelo.

Noi ieri ci siamo goduti la vista del nostro satellite al super perigeo. Oggi qui è di nuovo sereno. Penso quindi che stasera dedicherò di nuovo qualche minuto alla visione dell'Equinozio di Primavera al quasi Superperigeo.
Qualche volenteroso potrebbe calcolare ogni quanto capita un Equinozio di Primavera al quasi Superperigeo?
A proposito: buon Equinozio di Primavera!

Carnevale della Matematica #35

Il trantacinquesimo Carnevale della Matematica ha visto la luce ieri, 14 marzo 2011, su Pi greco quadro, il blog di Daniele Gouthier. Il tema è: "Di cerchi, di palle e di altre cose che rotolano. E che non rotolano".

Il mio contributo fuori tema è stato: "le contese che coinvolgono Cardano e Tartaglia: prima, seconda, e terza parte.

La prossima edizione, quella del 14 aprile 2011, sarà ospitata da Rudi Matematici.

Calendario con le date delle prossime edizioni del Carnevale

Pagina fan del Carnevale su Facebook

Il rinascimento: Cardano, Tartaglia, del Ferro e le formule contese - Terza parte

Nella puntata precedente abbiamo lasciato Tartaglia di fronte al dilemma se resistere nonostante il giuramento di Cardano, oppure cedere rivelando la formula.
Cardano nel suo giuramento aveva abilmente tirato in ballo la fede cristiana. Tartaglia non se la sentì di infliggere un tale affronto a Cardano e cedette così a malincuore la formula.

Dopo aver decifrato l'enigma in versi, dietro il quale Tartaglia in un ultimo disperato tentativo aveva celato la formula, Cardano cominciò ad impegnarsi in ulteriori ricerche personali.
Il frutto di tali ricerche non tardò ad arrivare. Cardano scopre il celebre casus irriducibilis. Quel caso cioè in cui l'equazione di terzo grado ha tutte e tre le radici reali, ma nonostante ciò, per calcolare tali radici reali è necessario passare attraverso radici quadrate di numeri negativi. Sappiamo tutti però che un numero reale elevato al quadrato dà sempre come risultato un numero positivo (meno per meno fa più, no?). Ma allora che cosa erano questi numeri che elevati al quadrato davano come risultato un numero negativo? Che senso potevano avere a quei tempi in cui c'era molta riluttanza persino ad accettare i numeri negativi stessi? Figuriamoci le radici quadrate dei numeri negativi!
Ma Cardano fu molto pragmatico. Funzionano? Sì! E allora li usiamo. Sono ... un artificio algebrico utile per il calcolo.

Numeri "sofistici" li denominò. Con il tempo però tali numeri si rivelarono molto utili. Anche se inizialmente sembravano veramente degli artifici algebrici "che non dovrebbero esistere". Così vennero dapprima denominati "numeri immaginari" e poi numeri complessi. Cardano quindi, oltre che delle soluzioni dell'equazione di terzo grado, è anche considerato uno dei padri dei numeri complessi. Vedremo in seguito che molti altri matematici contribuirono allo sviluppo di tali numeri. Uno di questi fu Raffaele Bombelli. Ma ce ne occuperemo nelle prossime puntate.

Oltre alla scoperta del casus irriducibilis, Cardano fu anche il primo a produrre una dimostrazione rigorosa della formula risolutiva. Quindi, nonostante i raggiri, il contributo di Cardano allo sviluppo complessivo della formula non è affatto trascurabile.

Nei cinque anni successivi Cardano continua il suo lavoro di medico portando contemporaneamente avanti la stesura della sua Ars Magna, che vedrà la luce nel 1545. Con quest'opera la reputazione di Cardano assurgerà in breve tempo a quella di algebrista più celebre ed esperto d'Europa.
Tartaglia se ne procura prontamente una copia, e si accorge subito che l'Ars Magna contiene sia la soluzione dell'equazione di terzo grado, per cui viene esplicitamente citato il suo nome, che quella dell'equazione di quarto grado, la cui paternità viene attribuita a Lodovico Ferrari: "creato" e creatura di Cardano. 

La rottura del giuramento fa ovviamente infuriare Tartaglia. Il quale, da come lo riporta Lodovico Ferrari, taccia Cardano di essere "ignorante nelle matematiche, poverello, uomo che tien poco sugo e poco discorso, e altre parole ingiuriose le quali per tedio lascio da parte".

Tuttavia Cardano, nella citazione dei contributi per la scoperta delle formule, non si era limitato a citare Tartaglia e Ferrari. Egli aveva citato anche Scipione del Ferro. Ed è proprio questa citazione a fornirci degli indizi sul motivo che poteva aver indotto Cardano a rompere il giuramento. Il fatto cioè di aver scoperto che Tartaglia non poteva vantare il primato sulla paternità delle formule. Primato che Tartaglia doveva condividere con Scipione del Ferro. Ma forse a spingere Cardano alla rottura del giuramento aveva contribuito anche il fatto che la soluzione dell'equazione di quarto grado era stata ottenuta a partire dalla soluzione dell'equazione di terzo grado. E quindi la pubblicazione della prima non poteva prescindere dalla pubblicazione della seconda.

Volendo trarre delle conclusioni, citando Dario Bressanini, si può affermare che quelle che ancora oggi vengono denominate formule di Cardano forse dovrebbero più correttamente essere chiamate formule di Del Ferro-Tartaglia-Cardano: "tre autori per un'equazione di grado tre".
Comunque la si voglia interpretare non si può sicuramente negare che queste soluzioni siano un puro prodotto di quel grande movimento intellettuale, artistico, scientifico e culturale che è stato il Rinascimento italiano.
Il problema della soluzione dell'equazione cubica, che tanto aveva infruttuosamente impegnato le menti di molti grandi matematici greci, cinesi, indiani ed islamici, era stato finalmente risolto. Quello di Del Ferro-Tartaglia-Cardano è probabilmente il maggiore contributo dato all'algebra da quando i babilonesi avevano capito come risolvere le equazioni di secondo grado quattromila anni prima.

Arrivati a questo punto ci si potrebbe chiedere: ma una volta arrivati al quarto grado, non ci si potrebbe spingere a cercare le soluzioni per il quinto e poi per il sesto, fino magari ad arrivare ad una formula generalizzata per il grado n? Effettivamente ci provarono in molti. Ma vedremo che dal quinto grado in poi la situazione si fa un po' più ingarbugliata. E la risposta definitiva arriverà solo più di due secoli dopo con Ruffini e Abel.

Dopo l'Ars Magna Cardano riuscì a produrre un altro importante contributo alla matematica contenuto in un libro scritto intorno al 1560: il Liber de ludo aleae. Libro che tratta di probabilità nel gioco e di metodi per barare. Nonostante gli scopi non propriamente edificanti, il Liber de ludo aleae contiene la prima trattazione sistematica della probabilità. La pubblicazione avverrà però postuma solo nel 1663.

Per chi volesse approfondire la storia delle formule risolutive dell'equazione di terzo grado segnalo il bellissimo articolo: Requiem per una formula. Dramma in sei atti con sei personaggi di Dario Bressanini. Da cui ho anche rubato le citazioni dei testi originali.

Per un ulteriore approfondimento c'è anche questo libro: La formula segreta. Tartaglia, Cardano e il duello matematico che infiammò l'Italia del Rinascimento.

Concludo con la citazione completa delle conclusioni dell'articolo di Bressanini:

Cosa rimane dopo centinaia d'anni di queste vicende? Nulla. Nei libri di testo trovate le “formule di Cardano”. Quasi nessuno cita Tartaglia, e Scipione dal Ferro è un perfetto sconosciuto. Forse sarebbe bene iniziare a chiamare le formule dal Ferro-Tartaglia-Cardano: tre autori per un'equazione di grado tre.

Nella prossima puntata parleremo dell'introduzione di altri simboli matematici e di Raffaele Bombelli, che come abbiamo già detto, contribuì allo sviluppo dei numeri complessi.

Puntate precedenti...

Indice della serie

Battibecco tra unità immaginaria e pigreco

i: cerca di essere razionale

π: no, sei tu che devi cercare di essere realistica

Il rinascimento: Cardano, Tartaglia, del Ferro e le formule contese - Seconda parte

Nella puntata precedente abbiamo lasciato i duellanti Fior e Tartaglia pronti per la grande sfida nella piazza gremita da una grade folla; di fronte a testimoni, giudici e un notaio. Nonostante l'apparente sicurezza di se, quando il giudice gli dà la parola, Tartaglia parla a stento e la sua lingua inciampa più volte sulle parole.

Come mai? L'espressione del volto era solo una maschera indossata per nascondere il nervosismo? 

No. Il motivo è un altro. E le cause risalgono a 23 anni prima. Quando, nel febbraio del 1512, il giovane Niccolò dodicenne è testimone dell'invasione e del saccheggio di Brescia da parte delle truppe francesi di Luigi XII. Ma lasciamo raccontare l'evento a Tartaglia stesso.

Quando che li Francesi sacchegiorno Bressa … essendo io fuggito nel domo con mia madre e mia sorella ... in tal chiesa mi furono date cinque ferite mortali, fra le quali una ne aveva attraverso la bocca… e stetti un tempo che io non poteva ben proferire parola, ma sempre balbettava nel parlare per il che li putti della mia età me imposero pe sopranome Tartaglia. Et perché tal cognome me durò molto tempo, m'è apparso de volermi chiamare Niccolò Tartaglia.

Ma tornando alla sfida con Fior, il motivo per cui il volto di Tartaglia appariva sereno era il matematico bresciano aveva risolto tutti e trenta i problemi di Fior in poche ore. Mentre Fior non era riuscito a risolvere alcuno dei problemi proposti da Tartaglia.

Il duello si risolve quindi con un trionfo per Niccolò. La folla esulta. Oltre alla gloria e alla fama tuttavia Tartaglia non ne ricava nulla. Molto dignitosamente riesce infatti a declamare d'un fiato: “Rinuncio alla posta in denaro, e mi prendo l'onore”.

Questo episodio lascia trasparire abbastanza bene alcune delle caratteristiche del personaggio Tartaglia: di umili origini ed orgoglioso del fatto che tutte le sue conoscenze provenissero unicamente dai suoi sforzi di autodidatta. Forse non era un maestro nelle relazioni sociali, ma era fiero e sostanzialmente onesto.

Maestro Tartaglia lo era invece in qualcos'altro. Era stato infatti nominato maestro d'abaco presso la scuola di Verona. Nelle scuole d'abaco si insegnava la matematica. Ma una matematica un po' diversa rispetto a quella  più astratta e speculativa che s'insegnava nelle università. Era la matematica necessaria alla pratica mercantile. E l'obiettivo principale di chi frequentava queste scuole era quello di imparare a risolvere problemi pratici. I salari dei maestri d'abaco però non è che fossero poi così ricchi.

Nel caso del personaggio Gerolamo Cardano osserviamo invece delle caratteristiche che sono un po' all'opposto rispetto a quelle di Tartaglia. Il padre di Gerolamo era un famoso giurista e matematico pavese. E Gerolamo, frequentando le migliori scuole, era presto divenuto un medico molto richiesto. Cardano coltivava inoltre una grande passione per la matematica. E a 32 anni riuscirà a coronare anche questa sua passione ereditando da suo padre il ruolo di insegnante di matematica presso le scuole dell'ospedale maggiore di Milano.

Cardano diventerà quindi un medico milanese di successo nonché matematico, filosofo ed astrologo ma anche scaltro uomo di mondo con agganci potenti, doti da istrione ed abile nelle trame e nelle manipolazioni.

Tuttavia non siamo ancora arrivati a capire in che modo Cardano venne in possesso delle formule contese.

Dunque, poco prima del duello con Fior, Tartaglia si era trasferito a Venezia; dove aveva pubblicato la prima traduzione italiana degli Elementi di Euclide. Dopo la vittoria su Fior la fama di Tartaglia si era diffusa rapidamente. Cardano proprio in quel periodo era impegnato nello sviluppo del suo trattato di algebra: l'Ars Magna. Al medico milanese brillarono gli occhi quando venne a sapere che qualcuno aveva trovato la formula risolutiva per le equazioni di terzo grado. Inviò quindi prontamente un suo uomo a Venezia, un certo Zuanantonio, per indagare sulla scoperta di Tartaglia. Era l'anno 1539.

Z: Sua Eccellenza Hieronimo Cardano, Medico et delle Mathematice lettor pubblico in Milano, vi implora che voi possiate mandargli la regola che avete inventato; e se ciò vi confà la inserirà nel suo prossimo libro sotto il vostro nome.

T: Riferite a Vostra Eccellenza che quando la mia invenzione sarà pubblicata lo sarà in un mio lavoro.

Ma Cardano non si arrende ed invita Tartaglia ad andare a Milano promettendogli i favori e la protezione di un potente: il Marchese del Vasto. Tartaglia, che notoriamente non navigava nell'oro, non seppe resistere ad un'offerta così lusinghiera.
Il povero Niccolò si reca quindi a Milano ma del Marchese non vede neppure l'ombra. Si trova invece vittima delle raffinate tecniche persuasive di Cardano. Niccolò resiste diverse volte alle richieste dello scaltro Gerolamo. Così Tartaglia narra quella che sarà l'ultima richiesta di Cardano:

Io vi giuro ad sacra Dei evangelia, et da real gentil’huomo non solamente da non pubblicar giammai tali vostre inventioni, ma anchora vi prometto, et impegno la fede mia da real cristiano da notarmela in zifera, acciocché da poi la mia morte alcuno non la potrà intendere. Se ora mi credete bene, altrimenti pazienza.

Cardano tira in ballo la fede cristiana! Argomento molto delicato in quei tempi. A questo punto che fa Tartaglia? Resiste calpestando la fede di Cardano? Oppure cede rivelando la formula?

Lo scopriremo nella terza parte...

Puntate precedenti...

Indice della serie