La formula del latte è Vacca2O

FranZeta ha scritto:

Michele Pirola ha scritto:

Cos'è il Genio?
È fantasia, intuizione, colpo d'occhio e velocità d'esecuzione.

:laugh: . Ce ne ho un'altra di vignetta che però è in inglese. Penso si capisca (se qualcuno non la capisse poi gliela traduco):

Piano cartesiano ummita

Riprendiamo dalle origini, con un argomento tratto dal libro Contattismi di massa di Stefano Breccia, già citato nel primo post di questo forum. Questa volta si va direttamente a prendere in considerazione materiale alieno, anche se la matematica sottostante è tutta terrestre. O meglio: è anche terrestre, d'altronde non è certo un'idea mia che se mai può esistere un linguaggio universale questo avrà a che fare con la matematica.

Gli ummiti sono questo simpatico gruppo di extraterrestri provenienti, per l'appunto, dal pianeta Ummo, distante una decina di anni luce dalla Terra. A partire dagli anni sessanta hanno intrattenuto un lungo rapporto epistolare con un gruppo di terrestri, per lo più spagnoli, nel quale parlano un po' di tutto comprese alcune informazioni relative alla loro matematica. Qui trovate la raccolta della corrispondenza, in spagnolo e francese più alcune traduzioni in italiano. In tempi recenti hanno iniziato pure a twittare!

Non mi pare il caso di intavolare qui una discussione sull'attendibilità o meno del contattismo ummita (o del contattismo in generale), si tratta comunque di un fenomeno interessante e per quanto riguarda i contenuti matematici, ma anche fisici, degno di considerazione. Come già avevo accennato nel thread Amicizia , in una di queste lettere anticipano l'esistenza di una dimostrazione dell'Ultimo teorema di Fermat, cosa di per sè non sconvolgente, va però sottolineato che all'epoca nella comunità matematica non erano pochi quelli che dubitavano dell'esistenza di tale dimostrazione, non fosse altro per il fatto che dopo tre secoli e mezzo di ricerca da parte delle migliori menti matematiche non se ne era ancora venuti a capo. E infatti quando un paio di anni più tardi Andrew Wiles annunciò al mondo di aver risolto il problema lo stupore fu grande.

Per quanto riguarda la fisica, oltre a una panoramica generale sugli enti fondamentali che regolano il nostro universo, e a questo proposito vi rimando al mio post successivo sempre nel thread Amicizia, fanno una previsione a mio avviso tanto avventata quanto poi rivelatasi azzeccata. Scusate ma al momento non ho tempo di cercare la lettera in cui affermano quanto segue, per cui fidatevi della mia memoria. Siamo alla fine degli anni '60, da poco nella fisica delle particelle è stata teorizzata la particella nota come quark, e i nostri ummiti in una delle loro missive spiegano che questi quark non esistono affatto e se dovessimo proseguire su tale linea di pensiero la nostra fisica resterebbe al palo per un lungo periodo. Beh, potete vederla come volete ma è un fatto che la fisica degli ultimi cinquant'anni ha prodotto ben poco di utile a livello di teorie fondamentali. E stiamo ancora a giocare coi quark...

Detto ciò veniamo al nostro argomento. Gli ummiti spiegano che anche loro utilizzano l'equivalente del nostro piano cartesiano (R² - si legge erre-due e non erre-quadro! - come lo chiamano i matematici) solo che hanno un diverso sistema di coordinate, che ora andiamo ad illustrare. Anzi, prima di tutto ricordiamo qual è il nostro sistema di coordinate: è quello in cui ogni punto è identificato dalla coppia di coordinate x e y, anche dette rispettivamente ascissa e ordinata, ossia i punti sono individuati così:

P=(x_P,y_P)

Il sistema di riferimento è individuato da due rette perpendicolari, gli assi x e y, e la loro intersezione è l'origine del piano, vale a dire il punto di coordinate (0,0). In questo sistema di coordinate un'equazione che coinvolga le incognite x e y corrisponde a un certo insieme di punti del piano, in particolare le equazioni polinomiali, cioè quelle del tipo f(x,y)=0 dove f è un polinomio che contiene (solo) le incognite x,y, definiscono delle curve algebriche nel piano. Queste curve si classificano in base al grado del polinomio f: quelle di grado 1 sono le rette, di grado 2 le coniche, di grado 3 le cubiche e via così.

Il nostro piano cartesiano col suo sistema di coordinate ortogonali è in definitiva una sorta di scacchiera ampliabile a piacere e con caselle piccole a piacere. Il piano con coordinate ummite invece assomiglia di più a una rappresentazione 3D - con visione binoculare dunque - di questa scacchiera. Innanzitutto per stabilire il riferimento ummita si scelgono due punti distinti del piano, A e B. Come facciamo a sapere quali sono, se non abbiamo ancora un sistema di coordinate, direte voi. Esattamente come facciamo col nostro piano cartesiano: non lo sappiamo! Cerco di spiegarmi meglio: il piano R² va considerato come preesistente e indipendente dal nostro sistema di coordinate. E' un ente matematico con le sue proprietà che non dipendono da come decidiamo di individuare i suoi punti, così come le proprietà (e LA proprietà...) della vostra casa non dipendono dal numero civico o dal nome della via: se domani cambiano nome alla via cambia il vostro indirizzo, non il vostro salotto! Allo stesso modo quando noi diciamo "questo punto è l'origne del piano" ne stiamo prendendo uno a caso, anche perchè il piano cartesiano non ha punti privilegiati rispetto ad altri.

Dunque anche gli ummiti scelgono due punti arbitrari A e B e poi, per individuare un generico punto P, usano semplicemente i due angoli α=BAP e β=ABP:



Nell'immagine ho mantenuto i nostri cari assi cartesiani per comodità e confronto, ma usando il sistema di coordinate ummita sono del tutto inutili. Sempre per comodità ho posizionato A e B rispettivamente in (-1,0) e (1,0), questo ci permetterà di trovare una particolare conversione fra i due sistemi di coordinate, ma ancora ripeto: A e B possono essere in qualunque posizione, così come il nostro O con i suoi assi x e y d'altronde. Si noti che α si misura in senso antiorario e β in senso orario. Queste sono le espressioni delle coordinate ummite rispetto alle nostre:



dove con "l" ho indicato la distanza dall'origine dei due punti A e B (ho quindi generalizzato un pochino lo schema sopra: i due punti hanno cioè coordinate (-l,0) e (l,0), nel caso particolare di prima era l=1). Queste invece sono le espressioni inverse, quelle delle coordinate cartesiane in funzione delle ummite:



Immaginate che i punti A e B corrispondano al centro dei vostri occhi, immaginate anche un qualsiasi piano passante per detti centri oculari, le coordinate ummite vi consentirebbero di individuare un punto qualsiasi di questo piano semplicemente misurando l'angolo individuato dalle vostre pupille rispetto all'asse passante per i centri oculari. Ipotizzando di non muovere il collo, ovviamente. Dunque in tale riferimento un punto generico è individuato da:

P=(α,β)

Non tutti i punti del piano cartesiano possono però essere individuati con queste coordinate: restano esclusi i punti della retta passante per A e B. Ciò non deve sorprendere dato che anche nella visione umana c'è un limite naturale invalicabile prima dei 180° di ampiezza. Lo stesso vale per gli obiettivi fotografici. Quindi in quanto angoli e per le limitazioni appena esposte le due coordinate α e β sono definite nell'intervallo aperto (-π,π) escluso il valore 0. A differenza delle coordinate cartesiane, dove ogni coppia di valori (x,y) è ammissibile e definisce un unico punto, le coordinate ummite devono sottostare all'ulteriore condizione che la loro somma sia, in modulo, minore di π, altrimenti le due semirette non si incontrerebbero ma sarebbero parallele o divergenti. Si deve avere cioè

|α+β| < π

dove il modulo è necessario perchè ad angoli negativi corrispondono punti al di sotto dell'asse x. Infine α e β devono avere lo stesso segno. Tutto ciò le rende piuttosto scomode da usare nei corsi di geometria, però questo non toglie la naturalezza del sistema di coordinate in riferimento alla fisiologia della visione binoculare.

Stefano Breccia nel suo libro fa notare che all'equazione α+β=c, con c costante arbitraria, corrisponde una circonferenza del piano. Questa affermazione però è piuttosto imprecisa, infatti, anche sorvolando sul fatto che la costante c deve essere minore di π, in realtà l'equazione sopra definisce solo un arco di circonferenza compreso fra A e B. Vediamo la cosa più in dettaglio:



Consideriamo dunque la circonferenza passante per A,B e P. Come ricorderemo dalla geometria elementare un angolo alla circonferenza è esattamente la metà dell'angolo al centro che insiste sulla stessa corda, corollario del teorema è che tutti gli angoli alla circonferenza che insistono sulla stessa corda sono uguali. Nel nostro caso il segmento AB è una corda e l'angolo APB è un angolo alla circonferenza che insiste sulla corda. Inoltre, sempre dalla geometria elementare, sappiamo che la somma degli angoli di un triangolo è π (cioè 180°, esprimo sempre gli angoli in radianti come d'altronde dichiarano di fare gli stessi ummiti), da ciò segue che:

APB=π-α-β=π-(α+β)

Ecco allora che se l'angolo APB è costante, e dunque P sta su un arco di circonferenza compreso tra A e B, anche α+β risulta essere costante, ossia vale l'equazione α+β=c. Questa c si ricava facilmente considerando il caso limite in cui P coincide con B, in tal caso α=0, β=c e l'angolo cercato è quello formato dalla retta AB e dalla tangente alla circonferenza in B (retta azzurra). Questo ci fornisce una procedura pratica per trovare l'arco di circonferenza corrispondente all'equazione α+β=c: si traccia in B la retta azzurra con inclinazione c rispetto alla retta AB (l'angolo si misura in senso orario, come per β) e poi si traccia la circonferenza tangente a questa retta e passante per A e B.

A questo punto è chiaro che non tutta la circonferenza è definita da questa equazione, la parte della curva tratteggiata non può soddisfare l'equazione per la stessa costante c, infatti dalla figura si vede facilmente, ragionando sempre sulla tangente in B, che l'arco tratteggiato della circonferenza soddisfa l'analoga equazione α+β=c-π. Non essersi accorto di questo semplice fatto porta poi Breccia a scrivere altre cose sbagliate. Infatti prosegue così:

Non è difficile dimostrare che le equazioni del tipo:

α-β=c

con c costante, rappresentano delle iperboli, con asintoti variamente orientati.

Ecco, siamo ancora in un caso analogo alle circonferenze, infatti l'equazione sopra rappresenta solo degli archi di iperbole, come ad esempio questa:



...e la cosa non dovrebbe stupire chi fosse incorso in questo precedente post dove si spiegava che un'iperbole altro non è che una circonferenza che interseca la retta all'infinito...Ma vediamo cos'altro dice Breccia:

Divertente il caso particolare allorchè α=0 [qui c'è un refuso, da quanto segue è evidente che intendeva α=β]. Il luogo risultante è costituito dalla coppia dei convenzionali assi cartesiani ortogonali! Difatti, per α ǂ 0, la funzione risultante è l'asse delle ordinate, in quanto i punti P si trovano ad essere il vertice superiore di triangoli isosceli, quindi descrivono la retta x=0.

Fin qui tutto bene, salvo ricordare che il punto (0,0) è escluso da questa rappresentazione. Ma poi:

Per α=0, si ha di conseguenza β=0 [No!!!] ed il triangolo ABP degenera nella retta y=0. Realmente divertente, anche se facilmente immaginabile: difatti anche in metrica cartesiano gli assi di riferimento sono il caso limite di una famiglia di iperboli.

L'ultima affermazione è corretta, senonchè non avendo ancora realizzato che i luoghi geometrici di cui parla non sono circonferenze o iperboli ma solo archi di questi, Breccia non realizza nemmeno che sarebbe difficile trovare rette come caso limite di archi, ma sarebbe più logico trovare segmenti. E infatti, se poniamo α=β=0, dalla prima figura del post è facile vedere che a queste equazioni corrispondono tutti i punti del segmento AB, senza che se ne possa scegliere uno in particolare. Quindi volendo dare un senso anche ai casi degeneri, l'equazione α=β corrisponde all'asse y più il segmento AB. Possiamo discutere se gli estremi del segmento siano inclusi o meno, in effetti il punto B potrebbe essere identificato da (α=0,β qualsiasi) e analogamente A da (α qualsiasi,β=0), quindi potremmo includere gli estremi. In ogni caso le due semirette (-∞,A) e (B,+∞) non possono essere descritte dall'equazione proposta da Breccia. Anche qui, se vogliamo proprio proseguire in questa piuttosto inutile analisi dei casi degeneri (inutile perchè il sistema di coordinate in questi casi non è valido, caratteristica fondamentale di un sistema di coordinate è che identifichi univocamente i punti!), la prima semiretta corrisponderebbe alle equazioni (α=π,β=0) e la seconda a (α=0,β=π). Insomma, proprio i valori che noi all'inizio avevamo escluso esplicitamente, onde non incorrere in degenerazioni e denominatori che si annullano...

A costo di infierire sul povero Breccia (che però, in quanto ingegnere, certe cose sarebbe anche stato tenuto a saperle...) faccio notare un'ulteriore confusione in quanto afferma nel paragrafo seguente:

Non parrebbe agevole l'estensione alle tre dimensioni, se non fosse per un concetto apparentemente strampalato citato dagli Ummiti nella loro descrizione dello spazio. Secondo loro, lo spazio è, sì, composto da una triplice infinità di punti (pensando a tre dimensioni), ma ad ogni punto è associata una triplice infinità di angoli fra direzioni...
...
...imporre una funzione di variazione di tali angoli (da loro chiamati IBOZOO UU) genera qualunque struttura.

Stop. Estendere il loro sistema di coordinate a tre dimensioni è estremamente semplice e naturale: ricordate il parallelo fatto all'inizio con la visione binoculare? Ho dovuto premettere che bisognava prima scegliere un particolare piano passante per i centri degli occhi, perchè ovviamente la visione è relativa al mondo 3D. Quindi per estendere il sistema allo spazio tridimensionale basta prendere un piano di riferimento fra gli infiniti che passano per i due punti A e B, per farlo basta scegliere un ulteriore punto C (per tre punti passa un unico piano). Adesso per individuare un generico punto punto P nello spazio tridimensionale R³ (si legge erre-tre e non erre-cubo!) basta procedere come segue: innanzitutto si ruota il piano di riferimento passante per ABC lungo l'asse AB fino a farlo coincidere con il piano ABP, l'angolo corrispondente a questa rotazione, chiamiamolo γ, è la terza coordinata che ci serve per determinare P, infatti una volta che siamo nel piano ABP possiamo usare le coordinate ummite bidimensionali. In definitiva il punto risulta determinato dalla terna:

P=(α,β,γ)



Anche nel caso tridimensionale resta esclusa dal sistema di coordinate la retta passante per AB. Per quanto riguarda gli IBOZOO UU rimando di nuovo ai post del thread Amicizia, sottolineando che gli Ummiti avvertono esplicitamente e reiteratamente che queste entità fondamentali, pur avendo una natura angolare (e dimensione dieci, per la cronaca), non vanno confuse con gli angoli della nostra geometria, pena il non capirne il significato. Non scomodiamo quindi i "bosi", come li chiamo io, i cari vecchi angoli di greca eredità sono più che sufficienti qui.

Breve addendum al precedente post. Come detto il sistema di coordinate ummita si generalizza al caso tridimensionale molto facilmente, ma mi sono scordato di sottolineare che si può altrettanto facilmente estendere a qualunque dimensione dello spazio euclideo. Per quanto sia difficoltoso immaginare uno spazio di dimensione 4, o di dimensione n grande a piacere, col nostro sistema di coordinate basta aggiungerne una, infatti:

P=(x,y,z,w)

è un generico punto dello spazio quadridimensionale indicato col sistema di coordinate cartesiane. La nuova coordinata w ha lo stesso significato delle altre: è un qualsiasi numero reale. L'origine di tale sistema di coordinate è semplicemente il punto O=(0,0,0,0). Con la stessa naturalezza possiamo estendere il sistema di coordinate ummite a qualsiasi dimensione, ragionando per induzione. Nel caso bidimensionale il generico punto P è individuato come vertice di un triangolo di base AB mediante i due angoli α,β. Passando in dimensione 3 il punto P è il vertice di un tetraedro di base ABC individuato dai tre angoli α,β,γ. Diventa allora chiaro come generalizzare il tutto: in dimensione 4, P diventa il vertice di un ipertetraedro* di base ABCD, dove D è un nuovo punto di riferimento aggiunto al sistema ummita (allo stesso modo per cui l'asse w è un nuovo asse di riferimento aggiunto al sistema cartesiano). P risulta allora individuato dai quattro angoli α,β,γ,δ, dove δ è l'angolo che misura l'inclinazione del tetraedro ABCP rispetto a ABCD.

*Un ipertetraedro è un tetraedro di dimensione maggiore di 3. In dimensione 4 si può visualizzare così:



Si tratta della proiezione nello spazio tridimensionale del tetraedro quadridimensionale (in realtà è un'ulteriore proiezione 2D di questa, dato che sta nello schermo del computer, immaginatevelo in 3D...), è composto da cinque facce ognuna delle quali è un tetraedro tridimensionale, i tetraedri in questione sono ABCP, ABDP, ACDP, BCDP e...ABCD! Si noti che l'ultima faccia "contiene" le altre, ma questo è un effetto della proiezione, in realtà ogni faccia ha lo stesso ruolo delle altre, così come nella proiezione del cubo in basso a destra:



...una faccia sembra contenere le altre. Per la cronaca la stessa proiezione di un ipercubo è questa:



Si noti come si segua questa progressione: un triangolo (dimensione 2) ha 3 facce costituite da segmenti (= "triangoli" di dimensione 1), un tetraedro 4 facce costituite da triangoli, un ipertetraedro di dimensione 4 ha 5 facce costituite da tetraedri ("triangoli" di dimensione 3), e così via... quindi un tetraedro di dimensione n avrà n+1 facce costituite da "triangoli" di dimensione n-1!

Pi greco, sezione aurea e Khufu

Ufficialmente pi greco e sezione aurea (3.141592... e 1.618033... rispettivamente) sono numeri ignoti agli egizi del 2500 a.C.: solo a partire da circa 2000 anni più tardi si affacciano nel mondo greco, e in forma assai diversa da quella che conosciamo noi, ad esempio il simbolo π è stato usato per primo da Eulero per indicare il rapporto fra circonferenza e diametro del cerchio, e solo un secolo più tardi sarà riconosciuto come numero trascendente. Per qualche dettaglio in più sulla sezione aurea Φ rimando al primo post di questo thread. Insomma, accostare gli egizi della IV Dinastia a questi due numeri è considerata un eresia. Cito da Storia della matematica di Carl B. Boyer:

L'ipotesi che il rapporto tra il perimetro della base e l'altezza della Grande Piramide fosse stato consapevolmente stabilito in 2π è chiaramente in contraddizione con le nostre conoscenze sulla geometria degli egiziani.

Ora, a parte il fatto che in generale Boyer è un eccellente storico della matematica e il suo libro è vivamente consigliato a prescindere dalla citazione qui sopra, che tra l'altro Boyer riprende da un certo N.F.Wheeler e dal suo Pyramids and Their Purpose (suppongo che ci sarebbe parecchio da ridere a leggere quel testo...), a parte questo dicevo, il rapporto in questione è 6.2908, con uno scarto dal valore di 2π dello 0.12%...ma come cazzo si fa a sostenere che è casuale?

Ma c'è di più. Anni fa, dopo aver sentito Angela padre o figlio ripetere questa manfrina del rapporto casuale, ho dedicato un piccolo studio alla questione, ed è saltato fuori che la cosa è ancora più strabiliante...altro che π approssimato allo 0.12%! L'angolo alla base della Grande Piramide misura 51°49′13′′, quest'angolo differisce di soli 25 secondi d'arco (ossia meno di 0.007°, un margine d'errore non solo trascurabile ma anche attribuibile alle misurazioni moderne) da quest'altro angolo: α=51°49'38''. Cos'ha di speciale α? Ecco:



Quella del disegno è la sezione centrale di una piramide con angolo alla base α, in tale piramide è codificata la sezione aurea Φ, come rapporto fra ipotenusa e cateto minore dei due triangoli rettangoli che compongono la sezione. Sezione aurea che ricordo era ufficialmente sconosciuta agli egizi del 2500 a.C. e ad ogni altro popolo dei 2000 anni successivi. Non solo. L'altezza h risulta essere uguale alla radice quadrata di Φ, ecco allora che il rapporto fra altezza e perimetro della piramide è 8/Φ^1/2=6.2892, che oltre ad essere un'ottima approssimazione di 2π, è praticamente il rapporto effettivo della Grande Piramide (errore 0.025%) già riportato sopra. Ricapitolando: le dimensioni relative della Grande Piramide, che come per ogni piramide sono fissate dall'angolo di inclinazione delle facce, conducono senza ambiguità alla seguente "quasi" identità matematica:

4/Φ^1/2 ≈ π

dove il simbolo "≈" sta per "circa uguale" e il margine di errore del "circa" è quantificabile nello 0,025%. Per dire, avete presente le ruote della vostra auto? Ecco, l'eccentricità dello pneumatico può essere anche 10 volte maggiore rispetto a questo margine d'errore, senza che ciò comprometta le funzionalità della ruota o generi vibrazioni avvertibili. Se egittologi/archeologi vari facessero i gommisti, dovrebbero inevitabilmente concludere che gli pneumatici sono di forma circolare per pura coincidenza! Beh, almeno questo è il loro atteggiamento verso le misure delle piramidi.

Ci sarebbe ancora qualcosa da dire su queste misure. Abbiamo visto che il triangolo rettangolo sezione della piramide ha le seguenti proporzioni dei lati: 1, Φ^1/2, Φ. Questo suggerisce una progressione geometrica di ragione Φ^1/2, ossia la successione:

(Φ^n/2)_nϵN = 1, Φ^1/2, Φ, Φ^3/2, Φ²,...

...successione che ha una singolare proprietà: sebbene la base della successione sia un numero irrazionale, Φ^1/2, da un certo punto in poi iniziano a comparire numeri quasi interi. Ecco i primi 100 termini della successione, troncati al quarto decimale:

Come potete verificare, alla nona riga compare il primo numero "intero", 24476. Si tratta in realtà di un numero irrazionale le cui prime quattro cifre decimali sono zero. Da lì in poi questi numeri quasi interi compaiono in sequenza alternata, i numeri che li inframezzano sono corrispondenti agli esponenti semi-interi, dunque la successione (Φⁿ)_nϵN costituita dai soli esponenti interi da un certo punto in avanti contiene solo numeri quasi interi. Coincidenze.

Utilizzo questo spazio per replicare all'utente Bandini in merito alla discussione che inizia con questo commento , argomento la struttura del ponte Morandi. Aggiungo il link al documento pdf di riferimento e la seguente immagine, tratta sempre dal pdf:



Ora, siccome l'utente Bandini si è convinto per autosuggestione che esistano dei tiranti permanenti all'interno dell'impalcato fra i punti C e F, cioè dei cavi tesi passanti per C-D-E-F, ha voluto apostrofare il mio intervento sopra linkato con frasi del tipo:

Confondi stralli con cavi provvisionali, non capendo la funzione che hanno.

Il vero problema è che inquini la discussione argomenti tecnici che evidentemente non padroneggi e così facendo induci altri a fare valutazioni errate.

Al che ho replicato con il seguente:

Allora siccome mi hai dato due volte di quello che non capisce niente e adesso dici pure che inquino la discussione, ora o mi dici esattamente dove si parla di tiranti diversi dagli stralli, oppure quello che non ha capito un cazzo sei tu e dovresti ritirarti un buon ordine.

La risposta di Bandini è quella che vado ora a discutere in dettaglio.

Non è mia intenzione offendere, visto che lo chiedi lo rispiego.

No caro Bandini, non ho chiesto nessuna spiegazione, ho chiesto un riferimento bibliografico alla parte del documento in cui si parla di tiranti definitivi diversi dagli stralli. Era peraltro una domanda retorica, dato che questi tiranti te li sei inventati tu. Proseguiamo:

Il paragrafo che segue è riferito alla travata in cemento armato precompresso. E' stata prima gettata e poi precompressa (la travata) con i tiranti definitivi. Ma fino al momento della precompressione finale il getto non poteva reggersi con tutto quello sbalzo senza la posa dei tiranti provvisionali. Qui non si parla dei tiranti all'interno degli stralli ma dei tiranti all'interno della travata.

Ecco, appunto: invenzione di Bandini, dato che la successiva citazione dal pdf spiega tutt'altro:

"il getto dei tratti C-D ed E-F della travata è avvenuto utilizzando il noto metodo "peu a peu". Si è trattato cioè di eseguire ogni tratto in 13 conci successivi della lunghezza di 5,13 m, ciascuno affidato al resto della struttura a mezzo di un sistema di cavi pretesi superiori, esterni e provvisionali, che si sono tolti dopo aver ultimato la loro funzione, sostituita, come è noto, da un certo momento in poi, dall'azione longitudinale orizzontale dei tiranti definitivi. Questi cavi, di andamento sub-orizzontale, hanno assunto la loro configurazione prestabilita a mezzo di due piccoli cavalletti provvisori costruiti in corrispondenza dei punti D ed E".

Ora, è evidente che questi tiranti definitivi di cui si parla qui non sono meglio specificati, ma per un buon motivo: erano gli stralli, cioè l'elemento più evidente dell'intera costruzione. Tanto è vero che si premurano di specificare che l'azione è longitudinale orizzontale, cosa del tutto superflua se si trattasse di tiranti interni all'impalcato, dato che la loro azione sarebbe per forza di cose parallela alla travata. Questi tiranti definitivi invece avevano una componente longitudinale orizzontale, e un'altra perpendicolare verticale, trattasi infatti degli stralli C-O-F.

Andiamo avanti. Segue una spiegazione fra l'ovvio e l'inutile sulla funzione dei piccoli cavalletti, che come avevo già segnalato a Bandini ero stato il primo a notare, prima ancora di leggere il pdf, per la precisione in questo commento . Per poi sfociare nella banalità più assoluta:

La funzione dei cavi pretesi provvisionali è di evitare il crollo della struttura in costruzione sulla ferrovia sottostante, visto che la travata è stata costruita senza puntellature e impalcature.

Dunque i progettisti si erano premurati di installare quei cavi per evitare che tutta l'opera in costruzione franasse sulla sottostante ferrovia. Non l'averi mai immaginato. Proseguiamo:

Poi hai saltato il paragrafo successivo, questo:
"Un ulteriore sistema di tiranti provvisionali, questi passanti dalla sommità dell'antenna, ha sorretto il notevole peso rappresentato dai trasversi in C ed in F, la cui funzione è quella di determinare legame statico tra l'impalcato ed i terminali dei tiranti C-O-F." (nota mia: i tiranti C-O-F sono quelli che noi stiamo chiamando stralli). Quindi qui parla di ulteriori cavi provvisionali (cioè diversi e con altra funzione rispetto a quelli citati sopra), questi vanno a costituire la futura configurazione strallata ancorandosi nei punti C ed F della travata dal punto O che è la sommità dell'antenna.

C'è un motivo se ho saltato quella parte: non era di nessuna utilità alla nostra discussione. Infatti mi riferivo a questo screenshot:



Come è evidenziato dalla didascalia, nè gli stralli definitivi nè i tiranti provvisori dalla cima dell'antenna sono ancora stati messi in opera. Come del resto i traversi in C e F, quelli dove andranno ad ancorarsi gli stralli. Qui c'è un altro momento di autosuggestione, infatti ti inventi il fatto che questi cavi provvisionali costituiscano i sostituti provvisori agli stralli definitivi, mentre il pdf dice chiaramente che la loro funzione è quella di sorreggere il notevole peso dei traversi, mentre la funzione degli stralli è affidata a tutti i tiranti provvisori, che d'altronde risultano ancora tutti tensionati al loro posto. E infatti la prova definitiva, che già ti avevo linkato ma che non hai tuttora compreso, è il seguente passo del pdf:

"Ovviamente l'operazione di trasformazione del campo tensionale interno della travata, tra il com­portamento a doppio cantilever e quello a trave continua a tre luci, consistente nel montaggio e gra­duale messa in tensione dei tiranti C-O-F e contemporaneamente nell'altrettanto graduale asportazione di tutti i tiranti provvisori...ecc."

Abbiamo un comportamento "a doppio cantilever", quello generato da tutti i tiranti provvisori, che viene trasformato in trave continua dalla graduale messa in tensione dei soli tiranti C-O-F (gli stralli) e contestuale rilascio graduale di tutti i tiranti provvisori. Ora, quand'è che avrebbero messo in tensione gli immaginari tiranti interni all'impalcato? Non certo prima di questa fase, dato che i tiranti provvisori erano ancora tutti al loro posto. E non certo dopo, dato che la compressione alla travata C-D-E-F era già fornita dagli stralli tensionati, i quali, avendo un angolo con l'impalcato minore di 45% lavoravano prevalentemente nel ruolo di tensionatori del suddetto impalcato. Tanto più che poi il pdf ci tiene ad informarci pure di questo aspetto:

Tale operazione (la tensionatura degli stralli definitivi), controllata come già detto con opportuni sistemi geometrici e tensiometrici, è stata ogni volta eseguita senza alcun inconveniente e, al termine di essa, la travata B-G ha denunciato il comportamento di una struttura continua in cui i punti C-F erano ubicati più in alto della loro posi­zione definitiva (con conseguente distorsione ela­stica della travata) di un valore tale per cui, quando in B ed in G sono state poggiate le travate di ser­raglia tra due sistemi contigui, i detti punti C-F hanno occupato la posizione definitiva (con conse­guente scomparsa di ogni distorsione elastica e quin­di, sensibilmente, di ogni sopratensione).

Quindi, una volta tesi gli stralli definitivi, i punti terminali della travata erano un po' più in alto della loro posizione definitiva, raggiunta in seguito all'inserimento delle cerniere che completavano la campata. Anche qui nessun accenno a ulteriori tiranti definitivi diversi dagli stralli, anzi, appare evidente che tutte le operazioni di tensionatura e rilascio di tiranti dipendevano unicamente dai soli ed unici tiranti definitivi: gli stralli.

Per concludere, mi rivolgo direttamente a Bandini, o salta fuori un riferimento bibliografico che parla esplicitamente di tiranti definitivi diversi dagli stralli, oppure ti sei inventato tutto e faresti bene a chiedere scusa per avere inquinato la discussione con un mare di cazzate.

Ciao
A pagina 2 di questo pdf:

"4) Una travata continua, in calcestruzzo precompresso, del tipo cellulare, con una soletta estradossale, una intradossale e 6 nervature, poggiante sul cavalletto di cui al punto 2)." www.ingenio-web.it/20925-il-viadotto-sul...dettagli-progettuali

La travata è quindi in c.a.p. e aggiungo io, del tipo post-teso, cioè la tesate sono state fatte alla fine per mezzo di martinetti idralici, un sistema illustrato nelle foto che allego

riferimenti bibliografici:
www.federica.unina.it/ingegneria/tecnica...armato-precompresso/
www.ablaweb.net/fabriziopaolacci/documenti/c.a.p1.pdf

Alcune delle posizioni degli ancoraggi dei cavi sul ponte crollato le vedi in questa foto, altre ne troverai se le cerchi su google map.

free photo hosting

Da ultimo, la figura 37 del pdf citato in alto, la relativa nota recita: "Armatura ordinaria e di precompressione della nervatura di una delle travi longitudinali di impalcato."

upload image on web

ciao

Bandini, ci sei o ci fai? Guarda bene il disegnino:



Ti ho chiesto riferimenti bibliografici a tiranti definitivi passanti in C-D-E-F, cioè alternativi agli stralli (alla loro azione orizzontale), non riferimenti a travi in CAP in generale. Tra l'altro, dal tuo link:

I due appoggi più esterni dei quattro vincoli della travata sono costituiti dai terminali di due tiranti in acciaio pretesi che passano al di sopra di un'antenna disposta in corrispondenza dell'asse del sistema dell'altezza di 90 metri da terra e di circa 45 m sul piano viabile del ponte.
....
"agli estremi del quale, da ambo i lati del ponte, risultano assicurati due fasci di cavi che costituiscono i tiranti e scavalcano l'antenna a quota 90 metri da terra."

Ogni volta che si parla di tiranti si parla di stralli.

Alcune delle posizioni degli ancoraggi dei cavi sul ponte crollato le vedi in questa foto, altre ne troverai se le cerchi su google map.

Quello che si vede nella foto è uno dei due punti D o E, dove l'impalcato appoggia sui cavalletti, quindi qualsiasi cosa sia quello che vedi nella foto non può essere l'ancoraggio di tiranti tesi fra C e F. Potrebbero essere i cavi pretesi fra D ed E di cui si parla a pag 14 del pdf, subito sopra la figura.

Da ultimo, la figura 37 del pdf citato in alto, la relativa nota recita: "Armatura ordinaria e di precompressione della nervatura di una delle travi longitudinali di impalcato."

E quindi, data quella sezione della travata EF, quali sarebbero i tiranti passanti che vanno a tendersi in C? E quando sarebbero stati messi in tensione, dato che nel pdf vengono descritte tutte le fasi ma curiosamente si dimenticano di questa? Come si concilia questa strana omissione con la frase che ormai sto ripostando come un mantra:

"Ovviamente l'operazione di trasformazione del campo tensionale interno della travata, tra il com­portamento a doppio cantilever e quello a trave continua a tre luci, consistente nel montaggio e gra­duale messa in tensione dei tiranti C-O-F e contemporaneamente nell'altrettanto graduale asportazione di tutti i tiranti provvisori..."

Come è scritto chiaramente, fino a questa fase le tre luci non si comportavano come una trave continua, ma come un doppio cantilever sostenuto dai tiranti provvisori. Una volta messi in tensione gli stralli abbiamo una trave continua a tre luci. Perchè in tutto questo si dimenticano dell'apporto al "campo tensionale interno alla travata" dato da questi ipotetici tiranti passanti per C-D-E-F? Non sarà che te li sei inventati?

Sulla frase che citi come un mantra, giustamente, va fatto un ragionamento (doppia trave a sbalzo diventa trave a tre luci e quattro appoggi) e dovrò rielaborare almeno in parte. Sulla presenza di cavi all'interno delle nervature della travata precompressa non ci piove. Ci sono, come vedi nella sezione, ma per funzionare nella configurazione finale (travata a tre luci e quattro appoggi). Riferimenti bibliografici se tu ne hai altri condividili, mi sembra che abbiamo solo un pdf, e andrebbe anche detto che non è un documento completo su tutti gli aspetti (è un articolo di presentazione, non un progetto).
Nella sostanza convengo con te su un aspetto: senza gli stralli il ponte non sta su.
Non ho tempo adesso di darti una risposta più argomentata su tutto quanto sopra, ma mi riprometto di farlo nel fine settimana, con qualche considerazione. Dammi il tempo. Ciao

Agevolo disegnino nella speranza di aver chiarito definitivamente quello che intendevo dire fin dall'inizio. Questo sarebbe un ipotetico percorso degli altrettanto ipotetici "tiranti Bandini":



Questa invece la reale configurazione dei cavi, che viene a formare un "doppio cantilever sostenuto dai tiranti provvisori" in fase di costruzione, una "travata continua a tre luci" una volta che l'intero impalcato C-F viene precompresso dall'azione orizzontale degli stralli (insieme ai vincoli che questi costituiscono in C e F), con conseguente modificazione delle tensioni interne:



In definitiva, quello che era il nocciolo della questione è che l'intero impalcato non era progettato per autosostenersi senza questa azione orizzontale, ecco allora che il cedimento di uno strallo ne avrebbe evidentemente causato il collasso, a meno di non voler invocare l'intervento di San Patrizio, che mi risulta protettore degli ingegneri, magari coadiuvato da San Giovanni Battista, patrono di Genova. Quello che è certo è che non si può parlare di "ridondanza degli stralli" senza scadere nella pura fesseria. Spero con questo che dopo qualche scazzo si ritorni a discussione costruttiva, alla quale ammetto di non aver contribuito, vedrò di migliorare.

Più o meno era questo. I tiranti Bandini non sono come inizialmente avevo inteso e che hai esemplificato nel disegnino sopra.

Morandi ha fatto un doppio calcolo:
1) configurazione doppio cantilever (doppia trave a sbalzo CD e EF collegate dal tratto intermedio DE, sorretta da cavi provvisionali e dai due cavalletti in D e E); Le armature tese del cantilever sono nella parte superiore della travata, realizzate con i cavi provvisionali
2) configurazione finale trave a tre appoggi, che essendo una trave precompressa a tre luci inflesse, è armata nella parte bassa e precompressa con i cavi post-tesi tipici della tecnologia di precompressione

Nel passaggio dalla configurazione 1 alla 2 sono stati posati stralli in C-O-F e contestualmente rimossi i cavi provvisionali C-D-E-F.
I tiranti in C-O-F realizzano una ulteriore (e fondamentale) autoprecompressione della travata tra i punti C ed F.

A questo punto la conclusione che mi sento di sostenere, è che l'apporto degli stralli era fondamentale per la tenuta della travata, in quanto le travi nei tratti CD e EF non erano armate per lavorare come travi a sbalzo, ma come travi inflesse. L'eventuale rottura di uno strallo o lo sganciamento o qualsiasi cosa ne avesse eventualmente causato la soppressione, dovrebbe aver prodotto un crollo relativamente rapido della travata.
Riporto qui una citazione fatta dall'utente redribbon nell'altra discussione sul crollo (#404)

"Il sistema nasce per essere fortemente compresso dagli stralli, una elevatissima compressione quasi centrata che fa lavorare in condizioni ottimali il calcestruzzo. [...] Ovviamente la soletta da ponte invece è inflessa e perciò è stata precompressa. Con questo comportamento, praticamente pendolare, il collasso di uno o più stralli porta ad una rottura complessiva rapidissima. Nessun elemento è in grado di portare le enormi flessioni ed a catena, in frazioni temporali rapidissime, cede tutto." prof. Cosenza buildingcue.it/genova-silenzio-prof-cosenza/11655/

Una trave inflessa ha un tipo di armatura esttamente opposto ad una trave a sbalzo.
Le travi in CD e EF non potevano tornare a lavorare come un doppio cantilever dopo la rimozione in corso d'opera dei cavi provvisionali in C-D-E-F.

Bene, direi che alla luce dell'analisi nel tuo ultimo commento, insieme alla citazione del prof. Cosenza, possiamo ritenere conclusa la discussione. Questo ovviamente non significa concludere che deve per forza essersi trattato di un cedimento strutturale, però se non altro mette una croce definitiva sulle teorie dei vari Marcianò: senza uno strallo veniva giù tutto. Poi che il crollo sia effettivamente stato originato da uno strallo, e nel caso che questo sia saltato per deterioramento o perchè minato, sono cose che non possiamo stabilire qui. Speriamo ci pensino gli inquirenti.

Quante lettere ha l'alfabeto?

Dopo la parentesi ingegneristica riprendo il normale svolgimento del thread, con un argomento leggero e solo parzialmente matematico. Penso che in molti abbiano letto il celebre racconto di Jorge Luis Borges La biblioteca di Babele, se non l'avete fatto vi consiglio di procurarvelo perchè la raccolta in cui è contenuto, Finzioni, è un classico che trovate in ogni biblioteca. Anche nella biblioteca di Babele, come vedremo. Se vi accontentate di leggerlo su uno schermo, lo trovate qui . Ecco l'inizio del racconto:

L'universo (che altri chiama la Biblioteca) si compone d'un numero indefinito, e forse infinito, di gallerie esagonali, con vasti pozzi di ventilazione nel mezzo, orlati di basse ringhiere. Da qualsiasi esagono si vedono i piani superiori e inferiori, interminabilmente. La distribuzione degli oggetti nelle gallerie è invariabile. Venti vasti scaffali, in ragione di cinque per lato, coprono tutti i lati meno due; la loro altezza, che è quella stessa di ciascun piano, non supera di molto quella d'una biblioteca normale. Il lato libero dà su un angusto corridoio che porta a un'altra galleria, identica alla prima e a tutte.

E, saltando qualche riga, la parte fondamentale:

A ciascuna parete di ciascun esagono corrispondono cinque scaffali; ciascuno scaffale contiene trentadue libri di formato uniforme; ciascun libro è di quattrocentodieci pagine; ciascuna pagina, di quaranta righe; ciascuna riga, di ottanta lettere di colore nero. Vi sono anche delle lettere sulla costola di ciascun libro; non, però, che indichino o prefigurino ciò che diranno le pagine. So che questa incoerenza, un tempo, parve misteriosa. Prima d'accennare alla soluzione (la cui scoperta, a prescindere dalle sue tragiche proiezioni, è forse il fatto capitale della storia) voglio rammentare alcuni assiomi.

La soluzione, che Borges ci offre poco dopo, è che la biblioteca contiene tutti i volumi consistenti in tutte le combinazioni dei 25 caratteri tipografici fondamentali. Dato che un volume contiene 80*40*410=1312000 caratteri, è facile calcolare il numero totale dei volumi della biblioteca: 25^1312000, che è circa uguale a 10^1834097, cioè 1 seguito dal numero di zeri dato dall'esponente. L'idea di fondo del racconto è ripresa da un' altra breve storia , La biblioteca universale di Kurd Lasswitz, il quale però (più pragmaticamente) immagina di avere a disposizione 100 caratteri tipografici, arrangiati in volumi di 500 pagine, 40 righe a pagina, 50 caratteri per riga, per un totale di un milione di caratteri a volume e 100^1000000=10^2000000 volumi.

Ora, tornando al racconto di Borges, c'è un problema con quei "25 caratteri", unitamente ad una nota che, invece che far chiarezza, confonde ulteriormente:

¹II manoscritto originale non contiene cifre né maiuscole. La punteggiatura è limitata alla virgola e al punto. Questi due segni, lo spazio, e le ventidue lettere d'alfabeto, sono i venticinque simboli sufficienti che enumera lo sconosciuto [N.d.E.].

Non è affatto chiaro quali siano queste 22 lettere, tantopiù che lo spagnolo, lingua originale del testo, annovera ufficialmente 30 lettere. Una teoria (trovata su un sito che vi indico dopo) è la seguente: dalle originali 30 lettere elimina le doppie ch, ll, rr, insieme alla ñ perchè ritenute non necessarie. Poi scarta anche la k e la w che compaiono solo in parole di origine straniera, infine la q perchè superflua e la x perchè abbreviazione di "ics". Si arriva effettivamente a 22 ma come teoria mi pare eccessivamente barocca per essere stata adottata implicitamente. Non aiuta nemmeno il fatto che uno dei volumi citati nel racconto si intitoli Axaxaxas mlö, autocitazione riferita all'altro racconto Tlön, Uqbar, Orbis Tertius, che però sfortunatamente contiene una umlaut, sicuramente incoerente col ristretto insieme di 22 lettere, più la x che teoricamente sarebbe fra le lettere eliminabili.

Risulta anche presente nell'originale l'epigrafe:

“by this art you may contemplate the variation of the 23 letters.”

...e qui le 23 lettere sembrerebbero essere quelle dell'alfabeto latino classico, al quale mancano j, u e w, ma ancora una volta ci si scontra con un'altra citazione presente nel racconto, cioè la stringa di caratteri dhcmrlchtdj che una j la contiene. Ecco che quello delle 22 lettere sembra essere un vero mistero, ciò che mi sento di dire è che non si tratta di una svista, perchè stiamo parlando di Borges e se ha concepito 22 lettere intendeva proprio dire 22. Inutile dire che la biblioteca di Babele contiene una versione di Finzioni e del nostro racconto dove la nota (1) annovera 26 lettere dell'alfabeto, togliendoci ogni dubbio. Forse, azzardo l'ipotesi, questa ambiguità o incoerenza è stata inserita appositamente per evitare che accadesse quello che poi invece è successo: qualcuno ha deciso di creare la biblioteca di Babele, nel momento in cui internet ha dato la possibilità di farlo, seppure a livello virtuale. Il sito libraryofbabel.info costituisce il primo tentativo di generare una biblioteca di Babele, anche se incompleta (ma completabile, in linea di principio).

Funziona così: scegliete una sala esagonale inserendo una sequenza alfanumerica di massimo 3260 caratteri (questa limitazione, del tutto inessenziale dal punto di vista pratico, comporta però che concettualmente questa non sia una vera biblioteca di Babele ma solo una parte). Scegliete ora il muro, lo scaffale e infine il libro. Io per esempio ho scelto questo:



Si intitola ua efyobas e inizia con:

dosqorgpztj jzihmzg.mhomevdjfb,laxshvjwcsramzyvetupywzzw.qj,nktzrdutktalrocuogoq
.pkcubxv,lkjfjweuuqhje,,ppjii,vemywgzsuwl fsuswpw fximwpq,stbanopyxk,uccabyl.ord
lun.k,elmcatgxiebglxp.stndix ctlfacdjuv.ggoyi araojlebyyuchoyetius,yflgljd ayncv
orpgx..

Ovviamente in questa replica virtuale della biblioteca di Babele hanno deciso di tagliare la testa al toro, usando tutte le 26 lettere dell'alfabeto più i tre segni di punteggiatura e spazio vuoto, portando così a 29^1312000 il numero possibile di combinazioni (e quindi volumi), vale a dire 10^1918666 circa. Gli scaffali per sala sono passati da 5 a 4, seguendo una successiva correzione dello stesso Borges, per un totale di 4*5*32=640 volumi per sala (nella versione originale, con una scaffalatura in più, erano 800). Questo, considerata la limitazione del numero di sale esagonali già accennata sopra, comporta per la biblioteca virtuale un totale di volumi di circa 10⁵⁰⁷⁶, molti meno di quelli della biblioteca originale, come detto, però molti più di quelli effettivamente necessari, dato che questi volumi sono solo potenziali, finchè qualcuno non va a consultarli effettivamente, come ho fatto io. Una specie di applicazione bibliotecaria della meccanica quantistica, che sicuramente avrebbe gradito Borges, vediamo come funziona.

Come detto si sceglie dapprima una sala, poi un muro, poi uno scaffale. A questo punto inizierete a poter leggere i titoli sulle costole dei libri dello scaffale, è avvenuta quindi la prima generazione di stringhe casuali da parte del computer, l'equivalente del collasso di una funzione d'onda quantistica. In pratica, finchè nessuno aveva osservato ancora lo scaffale, questo potenzialmente conteneva 32 volumi aventi per titolo delle stringhe qualsiasi di caratteri, nel momento in cui il primo occhio umano (presumibilmente proprio il mio) ha avuto modo di leggere quei titoli, ecco che questi sono fissati per sempre. Ovviamente sempre se l'algoritmo che genera la biblioteca è implementato correttamente. Quindi se ora voi andate a consultare lo stesso scaffale troverete gli stessi libri, e se aprite ua efyobas a pag.1 troverete la stessa sequenza di simboli. Tra l'altro il volume è ancora quasi tutto potenziale, visto che ho sfogliato solo la prima pagina più altre due o tre a caso. E ovviamente l'ultima. A questo proposito, vi saluto con le ultime parole del libro:

amvynije,biogrika cc.mzu.f

Odifreddure parte I: Peano VS Odifreddi

Inizio con questo post una nuova saga che ha come protagonista il noto personaggio Odifreddi, non tanto perchè sentivo di aggiungere qualcosa a quanto già scritto qui , ma perchè mi è stato recentemente regalato il suo libro Il vangelo secondo la scienza, credo sia il primo che ha scritto, e leggendolo di vaccate ne ho trovate davvero parecchie, ecco che allora ho pensato di dover estrarre del materiale per questo thread.

Come ci spiega lo stesso autore nell'introduzione, il libro avrebbe dovuto intitolarsi nelle sue intenzioni Dalla Galilea a Galileo, titolo che però non piacque all'editore. Quanto al contenuto, a parte una critica poco equilibrata alla religiosità in generale (non solo quella cattolica o cristiana), si tratta più che altro di un excursus dei classici argomenti scientifici da divulgazione, in quest'ambito il miglior testo mai scritto è La mente nuova dell'imperatore di Roger Penrose e il libricino di Odifreddi non meriterebbe nemmeno di essere sfogliato, figuriamoci acquistato; ma la parte interessante è la sua tesi di fondo, che lui stesso riassume così:

La vera religione è la matematica, il resto è superstizione.

Solo che, invece che essere presentata come opinione personale, la precedente affermazione ha la pretesa di essere il risultato di secoli di ricerca scientifica, o più precisamente della parte divulgativa del libro, che in questo modo si vorrebbe omnicomprensiva delle tematiche scientifiche pertinenti all'argomento. A mio avviso la tesi di Odifreddi si può però riassumere più correttamente con quest'altra citazione, sempre letterale dal testo:

O si è logici o si è patologici!

Siccome Odifreddi stabilisce a priori un'equivalenza fra logica ed ateismo, ecco che ogni forma di non-ateismo diventa nel suo pensiero patologia. Infatti interpreta la congiunzione "o" in senso esclusivo - e qui non si dimostra logico - sebbene la logica stessa sia prodiga di controesempi, tanto che Alfred Tarski sosteneva ironico di essere il più grande logico vivente, fra quelli non matti. Con ciò sottointendeva che il più grande fra quelli matti, e fra tutti i logici viventi, era certamente Gödel, uno che aveva pure prodotto una prova dell'esistenza di Dio, prova che il nostro Odifreddi non mancherà di analizzare nel suo libro, ma questo sarà argomento di un'altra puntata.

Singolare poi la coincidenza onomastica: umlaut a parte, Gödel è la fusione di God ed El, il Dio degli inglesi e quello degli ebrei, senza voler entrare nel campo della semantica e nelle traduzioni letterali di Mauro Biglino (che peraltro apprezzo).

Veniamo ora all'estratto che vorrei commentare, che invece riguarda esclusivamente la logica formale, nella quale Odifreddi dovrebbe essere maestro, non fosse altro per il fatto che la insegna all'università.



Ecco dunque il nostro estratto, preciso subito che la foto l'ho aggiunta io più che altro per non avere eventuali problemi di diritti d'autore per aver citato un passo troppo lungo. Nel caso dovrebbe fare a metà con gli eredi di Borges dato che il cinquanta per cento del testo scansionato (la metà intelligente) è rubato a lui. Dico "rubato" perchè sono abbastanza sicuro che non avrebbe per nulla apprezzato l'argomentazione (il)logica che Odifreddi gli fa seguire.

Veniamo subito all'illogicità, così che nessuno possa pensare che il mio giudizio sia diffamatorio. Il primo matematico a dare una definizione assiomatica dei numeri naturali fu il grande logico Giuseppe Peano, che per combinazione studiò e insegnò nella stessa università di Torino di Odifreddi, ma questo successe un secolo prima che il secondo (infinitamente meno grande) logico arrivasse sulla scena. Prima di Peano era diffusa fra i matematici la tesi di Kronecker, secondo la quale "i numeri naturali sono opera del buon Dio", roba che se fosse in voga oggi Odifreddi ci scriverebbe una collana di volumi. Peano mise giù cinque assiomi facili facili che permettono di definire i numeri naturali, vale la pena di citarli:

1. Esiste un numero naturale, denotato 0.
2. Ogni numero naturale ha un numero naturale successore.
3. Numeri diversi hanno successori diversi.
4. 0 non è il successore di alcun numero naturale.
5. Ogni sottoinsieme di numeri naturali che contenga lo zero e il successore di ogni proprio elemento coincide con l'intero insieme dei numeri naturali (assioma dell'induzione).

La teoria che segue dagli assiomi 1-5 è la teoria dei numeri naturali del secondo ordine. Non ha molta importanza ora spiegare cosa significhi quest'ultima specificazione sull'ordine, ci basti sapere che questa è la versione originale (e definitiva) dell'assiomatizzazione dei numeri naturali, e che come dimostrò lo stesso Peano si tratta di una teoria categorica, o monomorfa, che sono termini tecnici per indicare il fatto che ogni struttura matematica che verifica i cinque assiomi è la stessa struttura a meno di differenti notazioni. Cioè i numeri naturali sono sempre e solo quelli, a prescindere dal modo in cui decidiamo di chiamarli, per esempio usando cifre arabe o romane o egizie non si modifica la struttura dei numeri naturali.

Quindi cosa c'entrano questi modelli non standard di cui parla Odifreddi? In realtà nulla, per almeno due ordini di ragioni. Prima ragione: come già detto gli assiomi di Peano definiscono un'unica struttura, i modelli non standard si costruiscono a partire da un'altra assiomatizzazione dei numeri naturali, che prende il nome di Aritmetica di Peano. Si tratta della versione "al prim'ordine" degli assiomi presentati prima, la più evidente differenza è che in questo caso servono infiniti assiomi per tradurre quelli originali di Peano, ecco allora che per confutare l'esistenza di Dio Odifreddi è costretto ad accettare l'esistenza attuale di un'infinità di clausole, e già qui potrebbe sorgere il sospetto che solo una mente infinita avebbe la possibilità controllarle tutte. Ma soprattutto non si capisce perchè la logica dei predicati del secondo ordine, cioè quella in cui Peano ha ambientato il suo lavoro, vada rigettata a priori, se non appunto per riuscire a controbattere alla prova ornitologica di Borges.

Seconda ragione, più tecnica e se vogliamo errore ancora più grave visto che a commetterlo è un ordinario di logica: nei modelli non standard dell'aritmetica di Peano non c'è comunque nessun numero naturale indefinito compreso fra 0 e 10, o fra 0 e 10 miliardi di miliardi, e così via. I nuovi numeri naturali che compaiono in questi modelli non standard sono da interpretarsi come numeri infiniti, maggiori di ogni altro numero naturale definito dagli assiomi di Peano. Quindi la prova ornitologica, per quanto faceta, resiste senza scalfiture alle bordate di Odifreddi. Quella che viene travolta a palle incatenate è invece proprio l'inferenza finale del nostro eroe:

"Se qualche numero è indefinito, come appunto succede negli universi non standard, allora Dio non esiste."

Siccome questi numeri indefiniti abbiamo appena visto che sono da considerarsi anche infiniti, perchè il ragionamento di Borges cada bisogna aggiungere nelle premesse che lo stormo di uccelli immaginato sia infinito (altro grave errore per un logico aggiungere ipotesi implicite senza segnalarlo). Qui abbiamo un altro infinito attuale, questa volta prodotto direttamente dalla mente di Borges. Ma quale mente umana può visualizzare un infinito attuale? Seguendo il ragionamento di Odifreddi bisogna concludere che se il numero di uccelli immaginato da Borges è indefinito, allora Borges è Dio. Ora, possiamo essere abbastanza sicuri del fatto che Borges non sia Dio, per quanto lo ammiri come scrittore, quindi è falsa la premessa, ossia che il numero di uccelli immaginato sia indefinito, e con ciò la controargomentazione di Odifreddi viene disalberata e lasciata impotente a vagare senza meta nel mare delle illogicità le quali, lo ricordo, secondo lo stesso Odifreddi-pensiero sono da considerarsi come patologie.

Relatività Speciale ==> Tempo Immaginario?

Rinserratevi con qualche amico nella maggior stanza che sia sotto coperta di alcun
gran navilio, e quivi fate di aver mosche, farfalle e simili animaletti volanti; siavi
anche un gran vaso d’ acqua, e dentrovi dei pescetti, sospendasi anco in alto qualche
secchiello, che a goccia a goccia vadia versando dell’ acqua in un altro vaso di
angusta bocca, che sia posto in basso: e stando ferma la nave, osservate diligentemente
come quelli animaletti volanti con pari velocità vanno verso tutte le parti della stanza,
e i pesci si vedranno andar notando indifferentemente per tutti i versi; le stille cadenti
entreranno tutte nel vaso sottoposto; e voi, gettando all’ amico alcun cosa, non più
gagliardamente la dovrete gettare verso quella parte che verso questa, quando le
lontananze sieno uguali, e saltando voi, come si dice, a piè giunti, egual spazii
passerete verso tutte le parti.

Osservate che avrete diligentemente tutte queste cose, benchè niuno dubbio vi sia che
mentre il vassello sta fermo non debbano succedere così; fate muovere la nave con
quanta si voglia velocità: ché (pur che il moto sia uniforme e non fluttuante in qua e in
là) voi non riconoscerete una minima mutazione in tutti li nominati effetti, né da alcuno
di quelli potrete comprendere se la nave cammina oppur sta ferma...

Galileo Galilei, Dialogo sopra i due massimi sistemi del mondo

Con questo noto esperimento ideale, nonché con la sua formidabile prosa scientifica, Galileo spiegava al mondo il suo Principio di Relatività, oggi meglio conosciuto come prima legge di Newton e riassunto nella forma:

In assenza di forze ciascun corpo persevera nel suo stato di quiete o di moto rettilineo uniforme.

La cosa, per quanto ci appaia scontata dopo secoli di abitudine ad enunciare il principio, scontata non è affatto, dato che nel nostro mondo è una situazione che praticamente non si verifica mai. In primis perchè nel nostro universo non esistono luoghi in cui ci sia una reale e totale assenza di forze. In secondo luogo, anche se tecnicamente è un caso particolare della prima affermazione, perchè qui sulla terra ci sono sempre degli attriti a deviare, rallentare e infine arrestare il moto dei corpi che vorrebbero proseguire indefinitamente nel loro incedere uniforme. La grande idea di Galileo è stata quella di astrarre i fenomeni reali e ragionare su quelli ideali (benchè l’esperimento del “gran navilio” appaia reale, non è però molto realistico…). Grazie a questa intuizione riuscì ad individuare le prime leggi della Fisica moderna, come per esempio quella ben nota sulla caduta dei gravi, superando così i limiti della Fisica aristotelica. Altro esempio, tra parentesi, di esperimento che nel mondo reale è piuttosto complesso da realizzare: servono un tubo sottovuoto abbastanza grande da contenere la classica piuma e martello...l’esperimento della Torre di Pisa è invece proprio un falso storico.
Ma qui non intendo parlare di Galileo, quanto delle trasformazioni che portano il suo nome. Sono la traduzione matematica del suo principio di relatività e hanno la forma seguente:



Sono le equazioni sulla destra, già accoppiate a delle altre omologhe che ci serviranno fra breve. Regolano il cambiamento di coordinate fra due sistemi inerziali inizialmente coincidenti, il secondo dei quali li muove rispetto al primo con velocità costante v lungo la direzione positiva dell'asse delle x (nel disegno v è indicata con v₀):



Vediamo innanzitutto di spiegare cosa significano. Le quattro coordinate (x,y,z,t) sono le usuali tre coordinate spaziali più il tempo rispetto ad un certo sistema di riferimento che chiamiamo S. Quando sostituiamo dei numeri alle variabili abbiamo le coordinate spazio-temporali di un evento, cioè un dato luogo in un dato tempo.

Per esempio, supponiamo di avere un sistema di riferimento S centrato su casa mia, con gli assi x e y in direzione rispettivamente nord e ovest, diciamo che io esco di casa per dirigermi in un punto a 1.414 Km in direzione nord-ovest cronometrando il tempo impiegato. Quando faccio partire il cronometro le mie coordinate spazio-temporali sono (0,0,0,0), se impiego 5 minuti a percorrere il tragitto, una volta arrivato le mie coordinate saranno (1000,1000,0,300), misurate in metri e secondi. Notare che essendo z=0, ho supposto implicitamente che il punto d'arrivo sia esattamente alla stessa quota della mia abitazione, dato che la coordinata z è la verticale sul terreno. Dovrebbe anche essere chiaro perchè ho scelto quel numero particolare per la distanza del punto finale, in effetti per la precisione avrei dovuto scrivere "radice di due Km" per avere delle coordinate intere per il secondo evento.

Se adesso è chiaro cos'è un evento e come si individua, facciamo un altro passettino nella direzione della spiegazione delle equazioni di Galileo: immaginiamo che nell'istante in cui esco di casa sopra la mia testa stia passando un aereo, alla quota di 10000 metri, che vola in direzione nord alla velocità costante di 200 metri al secondo. Prendiamo questo aereo come nuovo sistema di riferimento, che chiameremo S', le cui coordinate spazio-temporali sono espresse dalle variabili accentate (x',y',z',t'). Le equazioni di Galileo servono per stabilire quale sia il corretto passaggio di coordinate fra i due sistemi. L'evento 1, io che esco di casa, avrà infatti nel sistema S' le coordinate (0,0,-10000,0), mentre l'evento 2, io che arrivo a destinazione, avrà coordinate (-59000,1000,-10000,300). Ora, la terza coordinata è la quota – costante - dell'aereo, e in effetti non è contemplata dalle equazioni riportate sopra (c'è scritto z'=z...), questo perchè i due sistemi erano supposti inizialmente coincidenti. Però avendo fatto l'esempio di un aereo non potevo supporre che volasse rasoterra. Ho sacrificato un briciolo di semplicità al realismo. Mi sembra però piuttosto ovvio il significato della coordinata z in questo esempio, perciò non parliamone più e concentriamoci sulle altre tre. Come si vede, le coordinate y' e t' sono uguali nei due sistemi di riferimento, mentre la x’ è variata, in accordo con le equazioni di Galileo, per via del fatto che durante il mio tragitto l'aereo si è spostato di un bel po' in direzione nord, per la precisione di 60 km, ed ecco quindi che al mio arrivo mi trovo 59 km alle sue spalle.

La relatività galileiana afferma che le leggi della Fisica sono invarianti per trasformazioni di Galileo, vale a dire che presa una qualunque legge espressa sotto forma di equazione nelle variabili spazio-temporali (x,y,z,t) di un sistema di riferimento inerziale S, questa resta invariata quando espressa rispetto alle variabili (x',y',z',t') di un altro sistema inerziale S'. Per esempio la famosa seconda legge di Newton F=m*a è invariante per trasformazioni di Galileo. Tutto questo è molto bello, è anche molto utile nella stragrande maggioranza delle applicazioni pratiche, però purtroppo è falso nell'universo in cui viviamo. Sia chiaro un punto: a livello astratto, matematico, la relatività galileiana è un assioma della Fisica classica, perciò tutto quello che ne deriva è logicamente corretto e consistente con tale assioma. Quello che è sbagliato è che certe leggi della natura non vogliono essere invarianti rispetto alle trasformazioni di Galileo, ma essendo sperimentalmente riconosciute come legittime leggi della Fisica, questo comporta che ad essere illegittime siano proprio le trasformazioni di Galileo.

Questi problemi di mancata invarianza cominciano a palesarsi con le equazioni di Maxwell , che regolano i fenomeni elettromagnetici. E' infatti noto dalla fine dell'800 che queste equazioni non sono invarianti rispetto alle trasformazioni di Galileo, bensì rispetto ad un altro gruppo di trasformazioni dette di Lorentz, che sono quelle riportate qui sopra accanto alle trasformazioni di Galileo. Come si vede interviene un nuovo parametro, la velocità della luce c, il cui valore è notoriamente di circa 300000 Km al secondo, o usando la notazione esponenziale 3*10⁸ m/s. Dato che la velocità della luce è molto molto grande, normalmente si avrà che la velocità v del sistema di riferimento S' è molto piccola in rapporto, perciò tanto le quantità v/c² quanto v²/c saranno prossime a 0. Nel nostro esempio dell'aereo sono per esempio:

v/c²=6.67*10^-15
v²/c²=1.33*10^-12

ossia due numeri nell'ordine dei milionesimi e millesimi di miliardo rispettivamente. Se sostituiamo nelle trasformazioni di Lorentz queste due quantità con 0, il che comporta un'approssimazione minima, otteniamo precisamente le trasformazioni di Galileo. Un modo equivalente di vedere la cosa è affermare che le trasformazioni di Galileo sono il caso limite delle trasformazioni di Lorentz quando la velocità della luce c tende a infinito. La soluzione al problema delle equazioni che non risultano Galileo-invarianti è dunque questa: le trasformazioni "giuste" della Fisica sono quelle di Lorentz, solo che in tutti quei fenomeni che comportano velocità ordinarie, cioè non confrontabili con la velocità della luce, queste si riducono praticamente alle trasformazioni di Galileo.

Con un celebre articolo del 1905 A. Einstein fu il primo a sostituire questo "assioma di Lorentz" al precedente "assioma di Galileo" come base dei fenomeni fisici, unitamente a un altro assioma assai sconvolgente eppure rilevato sperimentalmente: quello che stabilisce che la velocità della luce nel vuoto è sempre la stessa, indipendentemente dal moto dell'osservatore. Questo è il vero contributo di Einstein alla Relatività Speciale (è la teoria che segue dalle trasformazioni di Lorentz), sebbene spesso gli si attribuisca tutto il merito. Invece il credito per la successiva teoria della Relatività Generale va giustamente quasi tutto a lui, ma non ce ne occuperemo qui. Per quanto riguarda la Relatività Speciale, o Ristretta, i risultati fondamentali erano già noti prima dell'articolo di Einstein, ovviamente un ruolo lo aveva avuto anche il fisico olandese H.A.Lorentz, ma sostanzialmente i risultati di Einstein erano stati già ottenuti tutti dal grande matematico francese J.H.Poincaré qualche anno prima, con la non irrilevante differenza che Poincaré non aveva ritenuto di dover cambiare le leggi della fisica classica in base ai nuovi risultati matematici, ma piuttosto che fossero i risultati matematici a dover essere meglio raccordati con la natura.

In ogni caso il vero eroe della relatività ristretta è il matematico Hermann Minkowski, che nel 1907 dette una elegante sistemazione alla teoria, che sostanzialmente è quella ancora oggi accettata, e senza la quale non avrebbe potuto essere elaborata nessuna Relatività Generale. L'idea di Minkowski possedeva la caratteristica fondamentale delle idee geniali: la semplicità. Fino a quel momento la Fisica si basava sulla concezione di uno spazio tridimensionale euclideo, più una variabile separata e assoluta, il tempo. Minkowski in luogo di inserire le nuove leggi di trasformazione delle coordinate, con tutte le conseguenze che comportavano, in questo quadro classico, pensò di modificare direttamente il quadro di riferimento di base, postulando che la vera geometria del nostro universo non è quella euclidea, bensì quella definita dalle trasformazioni di Lorentz stesse, ossia uno spazio quadridimensionale nel quale il tempo ha lo stesso ruolo dello spazio, e in particolare dipende dalla velocità dell'osservatore.

Per giungere a questa visione rivoluzionaria si appoggiò a precedenti concezioni, squisitamente matematiche, elaborate una trentina di anni prima da un altro matematico tedesco, Felix Klein. Infatti, in seguito alla scoperta delle geometrie non euclidee avvenute nella prima parte dell'800, per un certo periodo ci fu un po' di confusione circa cosa dovesse intendersi realmente con "geometria". Per almeno due millenni geometria era stata sinonimo di geometria euclidea, tanto per dire: nella sua Critica della ragion pura Kant la considerava semplicemente sintetica a priori, una necessità insomma. Poi, appunto, le geometrie non euclidee, e infine, nel 1872, il Programma di Erlangen di Klein, col quale ridefiniva completamente il concetto di geometria. Per Klein, con il termine "geometria", andava inteso un qualsiasi spazio dotato di leggi di trasformazione delle coordinate, che in sostanza servono per stabilire cosa deve essere considerato equivalente e cosa no in quel particolare tipo di geometria. Con ciò la geometria euclidea diventava dunque solo una delle infinite possibili. La geometria di Minkowski era un'altra possibilità, che a quanto pare si accordava meglio con la realtà fisica.

Per definire una particolare geometria si fa uso del concetto di distanza, o metrica, semplicemente ponendo come assioma della nostra geometria in quale modo vada misurata la distanza fra due punti. E' in realtà sufficiente definire la distanza di un generico punto dall'origine, per esempio nello spazio tridimensionale euclideo la distanza s è definita da:

s²=x²+y²+z²

Non è altro che' il teorema di Pitagora in tre dimensioni anzichè due. In effetti tale teorema vale solo negli spazi euclidei. Normalmente si usa la notazione differenziale per definire la metrica:

ds²=dx²+dy²+dz²

che sta a indicare che stiamo parlando della distanza fra due punti infinitamente vicini. Nello spazio di Minkowski la metrica è definita invece da:

ds²=dx²+dy²+dz²-c²dt²

Si noti che, mentre nella metrica euclidea esiste un solo punto per cui ds=0, cioè l'origine O=(0,0,0), nello spazio di Minkowski ponendo ds=0 si ottiene:

dx²+dy²+dz² = c²dt²

che è l'equazione di un cono (di dimensione 3...) centrato nell'origine, mentre la costante c² fa sì che il cono sia molto aperto, nelle usuali unità di misura di metri e secondi. Il cono rappresenta il fascio di luce emesso da una sorgente situata nell'origine all'stante t=0, che si espande appunto nello spazio quadridimensionale, per quanto riguarda la falda superiore, quella inferiore è invece la luce che raggiunge l’osservatore sempre nell’istante t=0. Rinunciando a una coordinata spaziale possiamo visualizzare la situazione:



La falda superiore del cono è perciò la luce che si propaga verso il futuro, la falda inferiore è invece la luce emessa da sorgenti nell'universo e che viene captata dall'osservatore nell'istante t=0 (quindi in sostanza, se torniamo in quattro dimensioni, la falda inferiore è l'universo come lo possiamo osservare dal punto (0,0,0,0)). Il moto dell'osservatore influenza le posizioni relative di tutti gli eventi dello spazio-tempo, qui un'animazione che illustra cosa succede (rinunciando stavolta a due dimensioni spaziali...):



Se tutto ciò che sta dentro al cono è il passato e il futuro, il presente dove sta? Evidentemente sta fuori dal cono, in particolare l’iperpiano di equazione t=0 rappresenta lo spazio contemporaneo (sempre riferito al nostro osservatore iniziale), mentre tutto il resto di spazio esterno è una sorta di limbo, inaccessibile al nostro osservatore, di eventi che hanno coordinate di tipo spazio (per usare la terminologia coniata da Minkowski e oggi di uso comune).

L’iperpiano dello spazio contemporaneo (ragionando come prima in due dimensioni ci troviamo con un normale piano geometrico, ed è il piano con le stelle disegnate nell'immagine sopra, tuttavia sarebbe ancora definito dall’equazione t=0, ecco perché per i matematici ragionare in dimensione n>3 non è un gran problema…) ha un ruolo speciale nello spazio esterno all cono di luce per via del fatto che separa il passato dal futuro. Ma attenzione: solo per il nostro osservatore particolare, un altro osservatore avrà in generale un diverso iperpiano dello spazio contemporaneo e perciò, incredibili dictu, una diversa opinione sulla successione cronologica degli eventi. Ossia: se per l’osservatore O l’evento A è precedente a B, potrebbe darsi che per un altro osservatore O’ sia l’esatto contrario! Fortunatamente questo può solo avvenire per eventi A e B incorrelati, cioè tali che ciascuno dei due stia fuori dal cono di luce centrato nell’altro, insomma tali che non possano essere “messi in contatto” se non da segnali più veloci della luce, che per quanto ne sappiamo non esistono.

A questo punto in una normale esposizione divulgativa della Relatività si comincerebbe a parlare di gemelli, paradossi temporali e cose simili. Io non ho intenzione di fare nulla di tutto ciò, perché in effetti il mio intento, fin dall’inizio, era un altro, e cioè portare l’attenzione su un fatto piuttosto curioso dello spazio-tempo di Minkowski, che normalmente passa inosservato. C’è in realtà un motivo se nessuno o quasi ne parla: il motivo si chiama Relatività Generale. Quello che sto per farvi notare infatti è un aspetto peculiare della Relatività Speciale che svanisce quando si generalizza la teoria a spazi curvi.

Riprendiamo la definizione di metrica (= distanza) di Minkowski:

ds²=dx²+dy²+dz²-c²dt²

con un trucchetto matematico possiamo scriverla anche così:

ds²=dx²+dy²+dz²+(icdt)²

dove i è l’unità immaginaria, cioè la radice quadrata di -1 (ne ho già parlato su questo forum qui e qui ). Quindi la metrica di Minkowski si riduce alla usuale metrica euclidea a patto di considerare il tempo come una quantità immaginaria! Non è straordinario tutto ciò? Non solo. Questo punto di vista ci porta anche a riconsiderare le altre due grandezze fondamentali della cinematica: velocità e accelerazione. Infatti essendo per definizione rispettivamente:

v=ds/dt
a=d²s/dt²

risulta che la velocità è da considerarsi anch’essa una quantità immaginaria, mentre l’accelerazione torna ad essere una grandezza reale. Inoltre, essendo 1/i=i/i²=-i e 1/i²=-1, entrambe risultano di segno opposto rispetto alle grandezze da cui sono ricavate, cioè la velocità sarebbe da intendersi come un “tempo al contrario” e l’accelerazione come uno “spazio al contrario”. E per finire una forza, che è un’accelerazione moltiplicata per una massa, diventerebbe una sorta di “massa negativa”. Mica male come spunto di riflessione, no?

22 sono le lettere dell’alfabeto fenicio

ma non credo sia questa la soluzione più plausibile

sono molto più propenso a considerare plausibilmente valida un’ipotesi molto più astratta (una soluzione molto più generalizzabile)

in fin dei conti, Borges la chiamò “L'universo (che altri chiama la Biblioteca)”. Pertanto, la soluzione escogitata dovrebbe necessariamente essere stata una soluzione ‘universale’: non credo Borges fosse talmente ingenuo da limitarsi all’intendimento di un ‘universo’ valido solamente per chi parli lo spagnolo (o un qualsiasi altro particolare linguaggio umano)

l’universo di Borges doveva necessariamente includere qualsiasi opera pubblicabile – indipendentemente dalla lingua utilizzabile

la soluzione più plausibile a mio parere la si trova partendo dalla comprensione di quanto fu enorme la conquista realizzata, circa tre millenni fa, mediante l’invenzione della tecnica alfabetica

la tecnica alfabetica in pratica altro non fu che la scoperta di quanto fossero stati 'stupidi' gli individui delle generazioni precedenti; essendo stato per essi molto più che duplice lo sforzo mnemonico richiesto, rispetto a chi altrimenti abbia a dover utilizzare solamente il linguaggio parlato normalmente

la tecnica alfabetica consistette nella riproduzione approssimativa del linguaggio parlato mediante la trascrizione di un relativamente piccolo insieme dei suoi fonemi, tra quelli in esso normalmente utilizzati

ciascun popolo utilizza un proprio linguaggio, a sua volta fondato su un qualche particolare insieme di fonemi. Normalmente i fonemi utilizzati in un linguaggio sono molto più numerosi dei simboli fonetici successivamente (e convenzionalmente) utilizzati nella trascrizione di quello stesso linguaggio

ad esempio, nel caso dell’italiano i fonemi convenzionalmente corrispondenti ai simboli utilizzati sono sicuramente meno di 21 (nell’italiano non toscano, la lettera ‘h’ viene infatti considerata ‘muta’; mentre peraltro la lettera ‘q’ risulta essere pressoché inutile)

i fonemi che formano l’italiano sono peraltro molto più di 21: alcuni fonemi vengono approssimati mediante combinazioni di lettere e accenti (ad esempio: ò, à, ì, ù, è, é); altri vengono approssimati mediante combinazioni di due lettere (ad esempio: il fonema ‘sc’ di “sci”; il fonema ‘c’ di “ci”; … );

nonostante i fonemi realmente utilizzati siano molto più numerosi di quelli convenzionalmente utilizzati nella sua trascrizione, gli utilizzatori del linguaggio italiano riescono comunque ad apprendere la tecnica della sua trascrizione, e senza uno sforzo affatto straordinario, normalmente tra il quinto ed il sesto anno di età, ed in modo tale da poter poi riprodurre una conversazione per il tramite della lettura di una sua trascrizione; e ciò in una età in cui la fase di maggiore plasticità del cervello umano è oramai pressoché terminata (la lateralizzazione dei centri linguistici dei nostri cervelli (area di Broca ed area di Wernicke) normalmente avviene entro il terzo anno di età – nell’intervallo di tempo in cui avviene la lateralizzazione, le capacità linguistiche possono svilupparsi pressoché in automatico (quasi senza richiedere alcuno sforzo mnemonico e/o di concentrazione); nel caso l’acquisizione del linguaggio avvenga in epoca più tarda, tanto più essa sarà stata tarda tanto meno risulterà essere stata soddisfacente l’acquisizione linguistica realizzata (rispetto allo standard), ed al contempo tanto più gravoso l’impegno che a tal fine sarò stato richiesto

è pertanto che sono propenso a considerare molto più plausibile l’ipotesi che nell’universo di Borges i 22 simboli debbano essere considerati relativi ai 22 principali fonemi di ciascun linguaggio umano possibile (nel presente nel passato e nel futuro)

forse Borges non la pensò nello stesso identico modo in cui la penso anch’io; eppure credo la pensò in modo molto simile a come anch’io la penso (oppure, se lo si vuole, ciò lo si può esprimere in altro, ma 'sostanzialmente' poco differente modo: io probabilmente la penso in modo molto simile a come io ipotizzo che anche Borges pensò la questione della tecnica alfabetica)

Caro Gino, temo di non aver capito bene la tua argomentazione. O meglio: ho capito che secondo te 22 è da riferirsi ai "principali fonemi umani" (passati presenti e futuri!!!), ma non capisco come fai ad arrivare a quel preciso numero, visto che per tua stessa ammissione i fonemi sono molti di più. In ogni caso la domanda "quante sono le lettere dell'alfabeto?" era retorica, serviva più che altro ad introdurre il racconto di Borges e il sito internet che cerca di dar vita alla sua biblioteca impossibile. Come scrivevo sei mesi fa, quando ho pubblicato il post, l'ipotesi che preferisco è che la confusione e le contraddizioni inserite nel racconto servissero ad evitare che qualcuno potesse avere la bizzarra idea di realizzare materialmente parte di questa biblioteca. O digitalmente, come poi accaduto.

Dato che la biblioteca è l'universo, quel 22 potrebbe essere riferito al numero di cromosomi umani (esclusi i cromosomi sessuali X e Y), se non fosse per il particolare che il racconto è stato pubblicato prima della scoperta del numero dei cromosomi umani. Altra ipotesi: 22 nel sistema binario si scrive 10110, se poniamo 1=="-" e 0=="." del codice Morse, 10110 si legge "TETTE". Che sia questa la soluzione?

FranZeta ha scritto: Quello che sto per farvi notare infatti è un aspetto peculiare della Relatività Speciale che svanisce quando si generalizza la teoria a spazi curvi.

Interessante. Che altro potresti aggiungere a proposito?
Nella risposta tieni conto che io sono esperto di entrambe, mi interessa l'aspetto più propriamente matematico.
Secondo me Einstein si era accorto benissimo dei limiti e delle incongruenze della RS ed è per questo che ha sviluppato la RG.

probabilmente abbrevia troppo

un fatto è che risposi al volo: mi accorsi di quella discussione nel mentre mi stavo approssimando alla parte in cui invece discutevi i sistemi di riferimento inerziali

un altro fatto è che qualcosa bisogna pur sempre (e necessariamente) tralasciare, poiché altrimenti qualsiasi discussione diverrebbe troppo ampollosa

dunque di seguito non mi preoccuperò di non essere noioso ...

un ultimo ulteriore fatto è che proprio non sostenni la tesi che « 22 è da riferirsi ai "principali fonemi umani" (passati presenti e futuri!!!) »

infatti ritenni di avere implicitamente affermato che 19 o 21 o 22 o 26 fa poca differenza; poiché in ogni caso una qualsiasi normale tecnica di trascrizione di un linguaggio umano è necessariamente approssimativa (ad esempio, rispetto ad una sufficientemente fedele registrazione audio)

avevo infatti accennato il fatto che ogni linguaggio umano è composto di un particolare insieme di fonemi

peraltro, i segni utilizzati non sempre simbolizzano veri e propri fonemi; anche poiché il numero di segni è normalmente minore del numero di fonemi utilizzati (in ogni caso di un qualche particolare linguaggio naturale)

in generale è vero che ogni linguaggio naturale è fondato su un particolare insieme di fonemi e su regole di trascrizione, nel contesto di un qualche suo peculiare insieme di segni (insiemi sempre stabilizzatisi posteriormente, rispetto al linguaggio vero e proprio (quello fonetico))

rispetto a ciò, l’eccezione sono i casi di trascrizioni sia pre alfabetiche che pre sillabiche
ad esempio, il caso dei geroglifici non sillabici (i geroglifici più antichi), oltre a tutti gli ulteriori casi fondati su ideogrammi – in tali casi i segni interfacciano direttamente la semantica (ciascun segno ↔ ciascun valore semantico (salvo sporadiche eccezioni)), così come anche avviene tra parole e semantica (parole = sotto insiemi di fonemi)

nel caso della Biblioteca immaginata da Borges, ovvia è la restrizione (rispetto all’universalità) dell’utilizzo di un qualche particolare insieme di segni (22 segni di un qualche particolare alfabeto così detto ‘latino’)

una soluzione veramente universale ["(passati presenti e futuri!!!)"] richiederebbe una codifica neutrale (dei segni ): ciascun linguaggio dovrebbe utilizzare una sua propria tabella di corrispondenza biunivoca, tra codifica universale e suoi propri segni (andrebbe bene qualsiasi possibile tabella di decodifica, poiché la Biblioteca di Borges è, in fin dei conti, veramente (ma veramente) molto stupida)

anche una soluzione fondata su un qualche set di caratteri latini può però venire comunque considerata sufficientemente universale

ad esempio, per un russo, seppure indubbiamente egli lo considererebbe disdicevole, non sarebbe granché difficile riprodurre una qualsiasi normale conversazione in russo mediante l’utilizzo di una sua trascrizione realizzata in caratteri latini

credo lo stesso dovrebbe valere anche per cinesi e arabi

a tal proposito, storicamente può venir citato il caso del turco: pur essendo un linguaggio tipicamente ari, in ragione della loro religione islamica per secoli si auto costrinsero nell’utilizzo di un set di caratteri semitici (ovviamente, corrispondendo ad altrettanto tipicamente semitici fonemi)

se è vero che per secoli e secoli per i turchi fu possibile utilizzare segni e fonemi tipicamente non ari, non vedo perché mai non dovrebbe anche valere l’opposto

(una eventuale contestazione me l’aspetterei (la auspicherei) in relazione all’attribuzione di tipologia ari ai così detti set di caratteri ‘latini’ (pare che i latini ari lo furono veramente (così come anche lo furono gli sciiti, gli unni, i turchi, i finnici, eccetera); a mio parere l’italiano, lo spagnolo, il portoghese ed il francese non furono però linguaggi tipicamente ari (e neppure dovrebbero risultare esserlo i corrispondenti set di caratteri))


circa il tempo immaginario eventualmente interverrò (per dire la mia) in una futura prossima occasione

Corrado-5834 ha scritto:

FranZeta ha scritto: Quello che sto per farvi notare infatti è un aspetto peculiare della Relatività Speciale che svanisce quando si generalizza la teoria a spazi curvi.

Interessante. Che altro potresti aggiungere a proposito?
Nella risposta tieni conto che io sono esperto di entrambe, mi interessa l'aspetto più propriamente matematico.
Secondo me Einstein si era accorto benissimo dei limiti e delle incongruenze della RS ed è per questo che ha sviluppato la RG.

Il perchè quello legato ai numeri immaginari sia un aspetto peculiare della Relatività Speciale è presto detto. Come già spiegato, la metrica euclidea è solo un caso particolare fra le infinite metriche che si possono postulare per uno spazio geometrico. Le metriche sono definite dal tensore metrico g_ij (siccome sei esperto del campo non sto a spiegare cosa siano questi oggetti di cui ora vado a parlare), e la distanza si scrive nella forma:

ds²=g_ijdxⁱdx^j

Normalmente i coefficienti indipendenti del tensore metrico (sono n*(n+1)/2, con n dimensione dello spazio geometrico) sono funzioni delle coordinate locali, tuttavia nel caso particolare della metrica euclidea questo tensore risulta essere il delta di Kronecker δ_ij, cioè una matrice identità, mentre nella metrica di Minkowski abbiamo una matrice "quasi identità":
e come già dicevo quel -1 è matematicamente equivalente all'aggiunta di un'unità immaginaria come coefficiente per la relativa coordinata locale, che nel nostro caso è la quarta, cioè operativamente ponendo:

dx⁴=icdt

Quindi possiamo salvare la metrica euclidea a patto di considerare il tempo una grandezza immaginaria. Ma se consideriamo tensori metrici g_ij generali, come avviene nella Relatività Generale, non c'è più alcun modo di "salvare" la metrica euclidea, anzi, tutta la teoria matematica utilizzata è proprio concepita come un superamento della geometria euclidea, perciò non c'è più nessuna convenienza nel considerare il tempo immaginario e si rischia piuttosto di fare confusione.

Qui bisognerebbe fare qualche annotazione: negli articoli originali Minkowski ed Einstein usano una metrica con i segni + e - scambiati rispetto a quanto ho fatto qui, la cosa però non ha importanza dato che quello che conta è il rapporto fra grandezze di tipo-spazio e tipo-tempo. Nondimeno nell'articolo di Minkowski è presente la seguente formula:

3*10⁵ Km = √-1 secs

che è per l'appunto una dichiarazione di equivalenza fra grandezze spaziali e grandezze temporali immaginarie.

Per quanto riguarda Einstein e la sua Relatività Generale, non è un mistero quale fosse il limite della Relatività Speciale che lo ha spinto ad elaborare la nuova teoria: non riusciva a incorporare una teoria della gravitazione. Come sappiamo per superare questo limite Einstein ha usato due ingredienti: il primo è la forma geometrica data da Minkowski alla R.S., il secondo è il Calcolo Assoluto elaborato da Ricci-Curbastro e Levi-Civita (sembrano quattro ma sono due), che a sua volta era il culmine di una serie di risultati matematici che partivano da Gauss e passavano da Riemann. Questo per quanto riguarda i limiti della R.S., sulle "incongruenze" non so invece a cosa ti riferisci. Come teoria matematica la R.S. è coerente, cioè non contiene contraddizioni, almeno non ne contiene di note. Ma se una contraddizione fosse infine trovata, questa spazzerebbe via anche la Relatività Generale assieme a quella speciale, dato che la prima è conseguenza logica della seconda. Siccome Einstein questo lo sapeva bene, avendola elaborata, escludo che volesse risolvere eventuali problemi della R.S. con una teoria da questa dipendente logicamente.

A livello matematico c'è anche un ulteriore ordine di idee che garantisce solidità alle due teorie. Lo delinea già chiaramente lo stesso Minkowski, facendo notare che il gruppo di Lorentz, che chiama G_c, è un oggetto più naturale del gruppo di Galileo G_∞, essendo quet'ultimo un caso limite del primo. Per fare un paragone sempre in ambito matematico, è un po' lo stesso rapporto che sussiste fra gli spazi di funzioni L^p e L^∞ (alla teoria dei quali, per pura combinazione, Minkowski ha pure dato un contributo). Minkowski nel suo articolo si spinge oltre, dicendo che sarebbe anche potuto accadere che qualche matematico dalle ampie vedute avesse potuto precognizzare la R.S. sulla base di queste considerazioni, e cioè che il gruppo G_c appare più naturale di G_∞, e solo l'altissimo valore di c avrebbe impedito fino ad allora di rendersene conto per via sperimentale. En passant, il gruppo G_c unifica i due tipi distinti di invarianza della Fisica Classica: l'invarianza per traslazioni e la prima legge di Newton.

La Relatività Generale estende ulteriormente questo ordine di idee, postulando l'invarianza delle leggi della fisica rispetto a diffeomorfismi (Principio di Covarianza Generale), e con ciò chiude il cerchio iniziato col Teorema di Noether. Questo stabilisce che l'invarianza rispetto ad un determinato gruppo di trasformazioni di un sistema fisico dia luogo ad integrali primi, cioè quantità conservate:

tempo ---> energia
traslazioni ----> quantità di moto
rotazioni ----> momento angolare

Per quanto riguarda le leggi della Fisica in generale, abbiamo questo climax:

Gruppo di Galileo ---> Meccanica Newtoniana
Gruppo di Lorentz ----> Relatività Speciale (ed Elettromagnetismo)
Covarianza Generale ---> Relatività Generale

Dunque a livello matematico non c'è nessuna contraddizione, ma anzi, un progressivo arricchimento della geometria dello spazio e del tempo verso principi di invarianza sempre più generali e naturali. Poi certamente sappiamo anche che R.G. e Meccanica Quantistica sono contraddittorie fra loro, ma questo è un discorso completamente diverso.

FranZeta ha scritto: non c'è più nessuna convenienza nel considerare il tempo immaginario e si rischia piuttosto di fare confusione.

In un certo senso questa è la risposta che speravo ...
Credimi se ti dico che i calcoli della RG me li sono rifatti tutti, anche usando una metrica pseudo-euclidea (a segnatura positiva) in un iperspazio 4-dimensionale, e non cambia nulla, almeno io non l'ho visto.

FranZeta ha scritto: Ma se una contraddizione fosse infine trovata, questa spazzerebbe via anche la Relatività Generale assieme a quella speciale, dato che la prima è conseguenza logica della seconda.

Non mi trovi d'accordo; anche se questo è quello che dicono tutti i libri.

FranZeta ha scritto: Poi certamente sappiamo anche che R.G. e Meccanica Quantistica sono contraddittorie fra loro, ma questo è un discorso completamente diverso.

E invece è proprio lo stesso discorso; l'origine della RS viene inteso da diversi autori in vari modi, compreso Einstein che cambiò idea numerose volte; chi dice che fu MMX, chi dice il problema della contrazione, etc... Una delle interpretazioni è che la teoria doveva risolvere l'incongruenza tra una parte della fisica, l'elettrodinamica, invariante secondo Lorentz ed un'altra, la meccanica, invariante secondo Galileo. Cento anni dopo siamo punto e a capo, una parte della fisica segue Lorentz, l'altra Galileo.

A proposito delle incongruenze della RS vorrei indirizzarti a questo lavoro, dove si sottolineano alcune sbavature, tipo usare assunzioni nascoste, che ad un matematico non dovrebbero lasciare indifferente:

www.neoclassicalrelativity.org/TheNinete...pecialRelativity.pdf

Corrado-5834 ha scritto:

FranZeta ha scritto: Ma se una contraddizione fosse infine trovata, questa spazzerebbe via anche la Relatività Generale assieme a quella speciale, dato che la prima è conseguenza logica della seconda.

Non mi trovi d'accordo; anche se questo è quello che dicono tutti i libri.

Mah, non è tanto il fatto che lo dicano tutti i libri, è che così come sono impostate le teorie è un dato di fatto. Siccome la R.S. è un caso particolare della R.G., e siccome una teoria matematica è vera soltanto se sono veri tutti i suoi casi particolari, la cosa è automatica. Per fare un esempio banale, la formula

1+2+...+n = n*(n+1)/2

è vera perchè vale per ogni numero naturale n, se ce ne fosse anche solo uno per cui non fosse valida la formula andrebbe rigettata tout court. Ma c'è anche un discorso più profondo da fare, perchè lo spazio-tempo di Minkowski non è un caso particolare come tanti altri: è un caso particolare di importanza capitale, dato che rappresenta lo spazio tangente alle varietà spazio-temporali curve di Einstein. Visto che tutto questo è in definitiva un argomento di geometria differenziale, per chiarirlo è conveniente fare l'analogia con le geometrie non euclidee. Anche qui abbiamo varietà curve, e lo spazio tangente a queste varietà è il comune piano (o iperpiano) euclideo, cioè Rⁿ. Se ci fosse qualcosa di contraddittorio in Rⁿ, questa contraddizione si trasferirebbe automaticamente anche a tutte le varietà curve, e in definitiva potremmo buttare tutta la geometria differenziale nell'indifferenziato.

Questo approccio, usato all'inverso però, servì ad Eugenio Beltrami per dimostrare la consistenza relativa delle geometrie non euclidee: costruendo un modello di geometria iperbolica nello spazio euclideo dimostrò che se la geometria euclidea è consistente lo è anche la geometria non euclidea, e viceversa. Dato che il rapporto tra spazio-tempo di Minkowski e varietà di Einstein è lo stesso, la coerenza della R.G. dipende indissolubilmente da quella della R.S.

Poi certamente sappiamo anche che R.G. e Meccanica Quantistica sono contraddittorie fra loro, ma questo è un discorso completamente diverso.

A proposito delle incongruenze della RS vorrei indirizzarti a questo lavoro, dove si sottolineano alcune sbavature, tipo usare assunzioni nascoste, che ad un matematico non dovrebbero lasciare indifferente:

www.neoclassicalrelativity.org/TheNinete...pecialRelativity.pdf

La cosa ti stupirà ma queste "sbavature" in realtà mi lasciano del tutto indifferente. Innanzitutto perchè per quanto mi riguarda l'impostazione definitiva della R.S. è quella di Minkowski del 1907, e non di Einstein del 1905, perciò tendo a ignorare le critiche all'articolo di Einstein. Una volta che la R.S. diventa geometria, e con Minkowski lo diventa, a livello matematico quello di cui bisogna preoccuparsi sono i postulati della geometria. Anche i postulati di tipo fisico, cioè quelli riguardanti la bontà del modello rispetto all'universo in cui viviamo, mi interessano relativamente poco, e comunque sono un discorso diverso dalla coerenza matematica.

Ma veniamo alle "sbavature". Non mi pare che la Fisica Classica si sia mai preoccupata delle sbavature delle geometria euclidea, sebbene questa fosse il quadro di riferimento di tutta la disciplina. Eppure queste sbavature c'erano, erano evidenti da secoli e sono state sistemate solo nel 1899 da Hilbert col suo Grundlagen der Geometrie, che per inciso avrà letto solo una piccola percentuale di fisici. Per coincidenza, anche gli assiomi di Hilbert sono 19, se escludiamo quello delle parallele.

I vettori della Fisica, altro esempio, sono diversi da quelli della matematica: c'è una diffusa ed endemica tendenza ad ignorare il concetto di "fibrato tangente" fra fisici e ingegneri, eppure anche in questo caso non ravviso particolari preoccupazioni dovute a questo tipo di "sbavature". Insomma il rigore matematico è universalmente considerato eccessivo per altre discipline scientifiche, e con buone ragioni, direi. Ma, ripeto, la R.S. (secondo Minkowski) è una teoria di Fisica Matematica, cioè è matematica a tutti gli effetti, e lo standard di rigore con cui è sviluppata è quello proprio delle teorie matematiche, ecco perchè mi sento abbastanza sicuro nel dichiarare che non sia contraddittoria.

Per concludere il mio modestissimo parere sull'inconciliabilità di R.G. e M.Q. è questo: la prima è una teoria classica, cioè basata sul concetto di continuum spazio-temporale, la seconda invece si basa (in linea generale, ci sono poi moltissime diverse interpretazioni) su uno spazio-tempo discreto. Tutto qui. Credo anche che abbia ragione la M.Q. per quanto riguarda la vera natura dello spazio-tempo, e che la R.G. sia un'ottima approssimazione valida per tutti quei casi in cui le dimensioni del sistema fisico permettono di ignorare la quantizzazione.

FranZeta ha scritto: Ma, ripeto, la R.S. (secondo Minkowski) è una teoria di Fisica Matematica, cioè è matematica a tutti gli effetti, e lo standard di rigore con cui è sviluppata è quello proprio delle teorie matematiche, ecco perchè mi sento abbastanza sicuro nel dichiarare che non sia contraddittoria.

Ma il problema non è la coerenza interna della teoria ma la sua aderenza ai fatti sperimentali. E qui fisici e matematici differiscono enormemente; il matematico si preoccupa solo della coerenza formale, il fisico vuole far quadrare i fatti sperimentali.
Tu dici che ti interessa solo Minkosky, al fisico non può bastare; la critica al lavoro originale di Einstein è precisa e puntuale ed il pasticcio che fece è ben evidente; la qual cosa può avere conseguenze importantissime, non basta fare una teoria matematicamente coerente.
Tanto per fare un esempio, le equazioni dell'elettrodinamica non coincidono con le equazioni di Maxwell. Lo sapevi che esistono formulazioni alternative (Weber, Hertz, ...) che differiscono nel formalismo e non sono perfettamente sovrapponibili dal punto di vista logico?
Lo sai che c'è uno che ha fatto una elettrodinamica covariante secondo Galileo?

www.omicsonline.org/open-access/back-to-...000198.php?aid=80761

Permettimi infine una nota ironica a latere,
Ma lo sai che la Flat Earth Society usa la RS per spiegare il suo modello?

theflatearthsociety.org/tiki/tiki-index....e=Special+Relativity

FranZeta ha scritto: Relatività Speciale ==> Tempo Immaginario?

dove i è l’unità immaginaria, cioè la radice quadrata di -1 (ne ho già parlato su questo forum qui e qui ).

Ciò che FranZeta dice, normalmente mi convince
talvolta anche mi affascina: in matematica, al suo confronto, io certamente sono un ignorante

rimpiango di non aver dedicato alla matematica una maggior parte del mio tempo (specialmente in gioventù); peraltro, anche so che oramai è troppo tardi: oramai sono troppo vecchio; dentro di me le energie, di anno in anno divengono sempre più insufficienti; mentre, per contro, la preservazione della mia salute sempre più richiede la mia facoltà di centellinarle (purtroppo)

su una questione matematica fondamentale il mio pensiero è però totalmente divergente, rispetto al pensiero di FranZeta

la questione è quella dei così detti ‘numeri immaginari’
(a mio parere, è questione di superstizione (superstizione degli antichi e dei moderni – detta alla Moses Finley))

di seguito espongo brevemente le mie principali ragioni

magari fui eccessivamente presuntuoso (quien sabe?)

il fatto è che leggendo The Road to Reality, di Roger Penrose, mi venne il sospetto che circa il campo complesso egli non avesse idee affatto chiare

pertanto ripresi in mano un vecchio testo universitario, che avevo conservato, proponendomi di rinfrescare le mie proprie nozioni, nel merito delle funzioni continue elementari

quando affrontai la questione dell’esponenziale complesso cominciarono a torcermisi le budella (diventò infine odio allo stato puro: un odio viscerale)

di seguito mi dissi: se non ti piace, prova a reinventarla

dunque, pertanto poi quella parte della matematica la reinventai

la fondai sulle spirali esponenziali, assumendo che il campo complesso altro non è che l’insieme di tutte le spirali esponenziali

per i calcoli utilizzai openoffice.calc;
per visualizzare quanto i calcoli producevano utilizzai DraftSight (2D e 3D)

nella costruzione delle spirali esponenziali trovai la possibilità di utilizzare un numero infinito di differenti algoritmi

anche però scovai tutte le ragioni di ciascun possibile algoritmo,
ed anche trovando tutte le necessarie regole di conversione
(ed anche tante altre cosine, tutte a mio parere molto interessanti)

ebbene, ancora oggi sono straconvinto del fatto che la teoria che costruii è molto più generale (e molto meno superstiziosa) di quella standard (quella a tutt’oggi prevalentemente utilizzata)

dico ‘standard’ (ed anche parlo di “teoria prevalentemente utilizzata”) al solo fine di cautelarmi – contro la mia possibile ignoranza di produzioni realizzate da a me sconosciuti autori, che possano aver precedentemente già costruito e già proposto teorie alternative, rispetto a quella standard

ammetto che la mia ignoranza è immensa

ebbene, di seguito due differenti risultati numerici prodotti da tre algoritmi tra loro differenti (nella teoria che escogitai sono tutti e tre algoritmi legittimi, ed anche producendo risultati sempre perfettamente consistenti)

i tre differenti algoritmi ed i due differenti risultati del caso i^i :

1) exp_C(z, w) ↦ z^w = (ρ, θ)∈ℂ
… (ρ_z, θ_z)∈ℂ
… (ρ_w, θ_w)∈ℂ
… ρ = ρ_z^(ρ_w×cos(θ_w));
… θ = θ_z×ρ_w×cos(θ_w);

… i^i = (1, 0)

2) exp_C(z, w) ↦ z^w = (ρ, θ)∈ℂ
… (ρ_z, θ_z)∈ℂ
… (ρ_w, θ_w)∈ℂ
… ρ = ℯ^(−θ_z×ρ_w×sin(θ_w));
… θ = ln(ρ_z)×ρ_w×sin(θ_w);

… i^i = (0.207879576…, 0)

3) exp_C(z, w) ↦ z^w = (ρ, θ)∈ℂ
… (ρ_z, θ_z)∈ℂ
… (ρ_w, θ_w)∈ℂ
… ρ = ρ_z^(ρ_w×cos(θ_w)) × ℯ^(−θ_z×ρ_w×sin(θ_w));
… θ = θ_z×ρ_w×cos(θ_w) + ln(ρ_z)×ρ_w×sin(θ_w);

… i^i = (0.207879576…, 0)

un penultimo fatto è che, tra tutti gli algoritmi capaci di produrre spirali esponenziali, (e per varie ragioni) il più primitivo pare proprio dover essere il n° 1 (tutti gli altri sarebbero da esso derivabili)


una nota conclusiva:

a fronte di superstizioni io proprio non posso starmene in silenzio

a mio parere, il parlare di FranZeta di numeri ‘immaginari’ e di tempo ‘immaginario’ è una delle conseguenze che le superstizioni producono

prevedo una sua notevole irritazione (e ciò mi dispiace ...)

gino sighicelli ha scritto: quando affrontai la questione dell’esponenziale complesso cominciarono a torcermisi le budella (diventò infine odio allo stato puro: un odio viscerale)

Hahahaha, non sai quanto ti capisco !!!

Bella questa idea delle spirali esponenziali ...

Ma sui numeri complessi stai esagerando, in realtà sono altrettanto reali dei numeri Reali.
Se ti limiti ad usarli come uno strumento e nient'altro, passa la paura.
Il problema semmai è quello di non complicare le cose semplici.

Mi pare tu sia un informatico, no?
E allora non puoi non conoscere i Quaternioni, altro che numeri immaginari!
E l'uso che se ne fa nella Game Industry.
Ma pure quella è solo una moda, si potrebbe risolvere lo stesso problema con gli angoli di Eulero, o anche con semplici matrici.

E' che ogni tanto ci piace, e i matematici ne soffrono come gli altri, inseguire qualcosa che fa figo!
E la fisica pure c'ha i suoi bei problemi in questo senso.

@Corrado
Forse non mi sono spiegato bene quando dicevo che la bontà di un modello di fisica matematica non mi interessa in quanto matematico. La questione la vedo in realtà così: mentre gran parte dei fisici sono alla ricerca DELLA teoria, la giusta, vera e definitiva Teoria del Tutto, penso che la maggior parte dei matematici abbia un atteggiamento più prudente, e consideri i vari modelli della fisica matematica per quello che sono: modelli. Poi saranno gli esperimenti a dare un giudizio sulla loro aderenza al mondo reale, ma penso che in pochi si illudano che un giorno si possa arrivare al "modello definitivo". Nondimeno la storia insegna che la matematica pura ha un legame assai profondo con il mondo fisico, ma è proprio la profondità del legame e la vastità delle possibilità matematiche a dare un freno alle aspettative di umana comprensione della questione.

Tornando alla Relatività, lo so che esistono molte proposte alternative, resta il fatto che per come è impostata la coerenza della R.G. è dipendente da quella della R.S., se si vuole renderla indipendente bisogna modificarla in qualche suo aspetto e poi riscriverla da capo con una nuova matematica, perchè la matematica dei tensori è proprio quella che sancisce questa dipendenza logica.

@Gino
Avevo rimosso, ma ora che me lo fai notare ricordo di averti già risposto in merito a questa tua teoria alternativa dei numeri complessi. Che ti devo dire? Il campo dei numeri complessi è uno solo, indipendentemente da come lo si definisca, quindi finchè i tuoi algoritmi forniscono il risultato corretto, nel nostro caso iⁱ=e^-π/2+2kπ, sono un'alternativa accettabile, quando non lo fanno sono sbagliati. Tertium non datur. Tra parentesi c'è un'inutile complicazione nel tuo modo di impostare il calcolo, perchè non c'è bisogno di ricorrere a una funzione di due variabili complesse quando si può usare la comoda funzione z^z. Nel campo reale si può usare per dare un senso all'espressione indeterminata 0⁰(=1!).

Devi anche considerare che i numeri complessi non sono per niente un oggetto misterioso, fin dal XIX secolo per esempio lo studio di una funzione non può prescindere dal suo comportamento nel campo dei numeri complessi. Per non parlare dell'algebra, dove sono di casa da quasi mezzo millennio. Anche l'esponenziale complessa, che ti ha fatto di male? Ha la stessa identica definizione della funzione reale, ma molte belle e comode proprietà in più. Io la uso per ricordarmi le formule di cos(nx) e sin(nx), giusto per dirne una. Si può anche visualizzare senza problemi nella forma di campo vettoriale (i vettori sono riscalati per starci nel riquadro):