martedì, novembre 14, 2017

Carnevale della Matematica #113 - Matematica sorprendente

L'edizione di novembre del Carnevale della Matematica, la numero 113, è ospitata da Mr. Palomar.
Io ho contribuito con la cellula melodica e con...

Ad aprire le danze è Dioniso Dionisi, alias Flavio Ubaldini, che dal suo blog Pitagora e dintorni segnala un post in due parti: Dedekind, il suo taglio e la soluzione del problema Ippaso: prima parte Dedekind, il suo taglio e la soluzione del problema Ippaso: seconda parte
Il post, ricorda Flavio, nasce dal fatto che un paio di lettori non matematici del suo libro "Il mistero del suono senza numero" gli hanno chiesto delucidazioni sul Taglio di Dedekind, ragion per cui il buon Dioniso ha deciso di scrivere una spiegazione, cercando di renderla il più discorsiva e il meno tecnica possibile.
Ubaldini segnala anche un altro suo articoletto, intitolato Un regalo pitagorico-coltraniano.

Per quanto riguarda l'edizione numero 114... 

14 dicembre 2017: (“il merlo canta nella luce”) Notiziole di .mau.

Calendario con le date delle prossime edizioni del Carnevale.

domenica, novembre 12, 2017

Solo o paese d'o sole?

Sul blog di Valeria c'è stata un'interessante discussione sul tema degli espatriati suscitata da un post del giornalista Claudio Rossi Marcelli che riporto di seguito.

"In queste due settimane molte persone mi hanno chiesto come ho potuto scegliere di tornare a vivere a Roma. Secondo me a questi molti sfugge il fatto che l'efficienza dei servizi aiuta, ma non è una garanzia di vita migliore. Ieri una barista ha detto alla signora alla cassa: "Mamma, fai lo scontrino al signore?". Dopo otto anni di camerieri italiani e spagnoli schiavizzati da Starbucks o Caffè Nero, l'idea di prendere un caffè in un bar a gestione familiare mi ha scaldato il cuore. Dopo otto anni all'estero riesco a vedere chiaramente degli aspetti profondi dell'Italia che da vicino non si riesce a distinguere. Primo tra tutti l'umanità. Roma poi, nessuno me la tocchi. I problemi ci sono ma più che lamentarmi preferisco rimboccarmi la maniche e fare la mia parte. E poi, vabbè, stamattina ho fatto questa foto. Ma de che stiamo a parla'"

Questo è il mio punto di vista espresso in modo molto sommario e riduttivo.

A me sono serviti 5-6 anni di permanenza all'estero per cominciare a vedere le cose in modo simile a come le vede quel giornalista. E adesso, dopo altri 13 anni, continuo a pensarla in quel modo. È vero, l‘efficienza dei servizi non è tutto. Basti vedere l’incidenza di suicidi per paese (questa è l'incidenza nella UE).
Io so che qui c’è più efficienza per alcuni servizi, ma nemmeno per tutti. Ad esempio le autostrade italiane sono incomparabilmente migliori. I treni sono paragonabili. Di certo l’alta velocità italiana è migliore. 
Ma so anche che ci sono cose che qui non potrò mai avere. Come quelle citate da Rossi Marcelli. 
Fortunatamente siamo riusciti a trovare un compromesso: andiamo in Italia molto spesso e cerchiamo di vivere positivamente in entrambi i posti.

Comunque, per rispondere a un altro commento, in quello che scrive Rossi Marcelli non ci vedo la convinzione che basti la bellezza e il buon cuore per poter chiudere gli occhi sul resto.

“I problemi ci sono ma più che lamentarmi preferisco rimboccarmi la maniche e fare la mia parte.”

Ecco, io credo che questo sia esattamente lo spirito giusto. Smettiamo di lamentarci, rimbocchiamoci la maniche e facciamo la nostra parte (e questo lo dico soprattutto a me stesso perché sono consapevole di non fare molto e mi piacerebbe fare di più). 

mercoledì, novembre 01, 2017

Dedekind, il suo taglio e la soluzione del problema di Ippaso: seconda parte

L’ultima volta non mi hai detto quali sarebbero gli altri modi per definire i numeri reali oltre alla definizione di Dedekind.
– Ah, sì, è vero. Beh, c'è la costruzione di Cantor attraverso le successione di Cauchy. Cantor sfrutta l'assioma di Dedekind e, partendo dal fatto che ogni numero reale è ottenibile come limite di una successione di Cauchy...
– No, fermati, fermati. Limiti, successioni. È troppo complicato. E poi, comunque, si torna sempre a Dedekind.
– Eh, sì, c'è bisogno di quell'assioma. Senza di quello o di qualcosa di equivalente non penso che riusciremmo a costruire una matematica interessante e sufficientemente potente per le esigenze dei fisici, ad esempio. Sostanzialmente dovremmo limitarci ai numeri razionali.
– Quindi mi stai dicendo che i numeri reali esistono grazie a un assioma?
– Beh... Un assioma... Una definizione... Considera, comunque, che questa costruzione è anche più precisa.
– Perché più precisa?
– Forse "più precisa" non è l'espressione giusta. Diciamo che è più economica. E lo è perché invece di usare tutti le frazioni minori del numero che si cerca di definire, usa solo quelle successioni di frazioni che si avvicinano sempre più al numero irrazionale che si sta cercando di definire.
Potresti mostrarmi un esempio?
– Certo. Consideriamo di nuovo il caso di . Prendiamo la sua rappresentazione decimale
1, 41421356237309... e definiamo così la successione:
a0 = 1
a1 = 14/10
a2 = 141/100
a3 = 1414/1000
a4 = 14142/10000
e così via...

– Ah! Ho capito. Prendi la successione di frazioni in cui a ogni passo si aggiunge la cifra successiva della rappresentazione decimale di √2:
a0 = 1
a1 = 1,4
a2 = 1,41
a3 = 1,414
a4 = 1,4142
ecc.
E quindi più vai avanti più ti avvicini al valore giusto. Però... Ma non stiamo un po’ barando? Non è di nuovo una petizione di principio? Non stiamo di nuovo usando  per definire ?
– No, no! Non è petizione di principio. Perché questa successione puoi sempre esprimerla, e scusami ma qui devo essere un po’ più tecnico, così...

Dove [ ] è la parte intera del numero.
– Ma non hai eliminato la radice di due. E poi le parte intera...
– Guarda, mi costringi a scendere ancora di più nei dettagli tecnici. Ecco la definizione senza radice di due e senza usare la parte intera in modo esplicito:



Va bene adesso?
– Ho capito, hai di nuovo ragione. È interessante, comunque.
Se ti interessa puoi approfondire un pochino leggendoti questa pagina: Costruzione tramite successioni di Cauchy... Anche qui puoi trovare una discussione sul tema. Ma perché ora sorridi?
– No, è che mi sta venendo da pensare... Con questo fatto che in queste definizioni compaiono numeri razionali che si avvicinano sempre di più all'irrazionale cercato... Ma allora aveva ragione Ippaso quando a pagina 95 comincia la ricerca della radice quadrata di 2...

– Beh, sì. Solo che lui si è fermato mentre Dedekind e Cantor sono andati avanti e sono riusciti a inquadrare quel procedimento in modo teorico e rigoroso.
– Mah...
– Non sembri convinta.
– No, è che... c'è di mezzo il concetto di infinito...
– E quindi?
– Secondo me Dedekind e Cantor hanno barato. Noi esseri umani non potremo mai contare o elencare cifre all'infinito. Era quello che dicevano pure i greci, no? E quindi, definire gli irrazionali attraverso quantità infinite di frazioni è come non definirli.
– Ma considera che quello è un risultato teorico... In realtà è anche costruttivo, ma solo in linea di principio, visto che prima o poi ci dovremo fermare. Però dal punto di vista teorico la validità di quel risultato è indiscutibile. E poi se volessimo eliminare il concetto di infinito dalla matematica dovremmo buttare alle ortiche quasi tutta la matematica moderna... Non sei ancora convinta?
– Così così. E comunque mi è rimasto il dubbio di cui ti avevo parlato la volta scorsa. Avevamo detto che per aggirare la petizione di principio si usano proprietà che definiscano i numeri irrazionali usando solo i numeri razionali. Tipo definire  con tutte le frazioni n/m tali che (n/m)2  < 2. Ma è possibile trovare un'espressione del genere per qualsiasi numero reale?
– Beh... no. Lo è se rimaniamo nell'ambito dei numeri che possono essere espressi attraverso un numero finito di operazioni (+, -, ⋅, :, √) applicate ai numeri interi. Perché puoi definire formule che ti permettano di aggirare la petizione di principio, come abbiamo fatto con la formula che hai appena scritto. Però esiste un'infinità molto più grande di numeri che non possono essere espressi come combinazione di un numero finito di operazioni semplici applicate ai numeri interi. Se si considerano, ad esempio, le equazioni dal 5° grado in poi, di tali numeri, come si accorse Galoise, se ne trovano molti. Ad esempio, uno di questi è l'unica soluzione reale dell'equazione di 5° grado x5x − 1 = 0. Ma, se non altro, quel numero, come abbiamo appena fatto, possiamo ancora definirlo in qualche modo. Ma esiste ancora un'altra categoria di numeri. Quelli che non possono essere neppure espressi come soluzioni di equazioni di grado qualsiasi.
– E quindi? Questo che significa?
– Mah, guarda. Io mi sono fatto quest’idea. Ipotizzando di poter assegnare ai numeri uno status di realtà più o meno indiscutibile e di poter stilare una classifica, ai naturali dovremmo assegnare uno status di realtà più indiscutibile degli irrazionali. Specialmente degli irrazionali dell’ultimo tipo che abbiamo visto, che poi si chiamano numeri trascendenti e sono la quasi totalità dei numeri. Quasi nessuno di questi può essere infatti rappresentato con precisione né usando cifre, né usando formule, né usando algoritmi. Mentre una certa quantità di numeri interi e razionali sì.
– No! Quindi mi stai dicendo che per la maggior parte dei numeri non riusciremo mai neppure a trovare un nome?!
– Eh, sì. Questa è una delle conseguenze di quello che ti dicevo. Pensa che se, per semplificare le cose, ci limitiamo all'intervallo dei numeri reali tra 0 e 4 sappiamo che lì troverò numeri irrazionali e trascendenti, come radice di 2 e pi greco, ad esempio. Ma pi greco è una rarissima eccezione tra i numeri trascendenti. Infatti per lui abbiamo sia un nome sia una formula. Pi greco è un numero fortunato perché gli è capitato di essere esattamente il rapporto tra una circonferenza e il suo diametro. E quindi rimane definito da quella sua essenza ontologica. Ma se esistesse un algoritmo che potesse scegliere un numero reale in modo totalmente casuale saremmo quasi certi di non poter trovare neppure un nome per quel numero scelto casualmente e di non essere nemmeno in grado di rappresentarlo in nessun modo: né elencando tutte le sue cifre né trovando una proprietà per definirlo come viene fatto per la radice di 2 e per il pi greco.
Sostanzialmente questa è la distinzione tra numeri algebrici e numeri trascendenti (a parte qualche eccezione definibile, come pi greco).
– Sono senza parole...

martedì, ottobre 31, 2017

Un regalo pitagorico-coltraniano

Una maglietta raffigurante il circolo delle quinte modificato e integrato da John Coltrane. Circolo che, oltre agli impliciti riferimenti al temperamento pitagorico, raffigura esplicitamente il pentagramma pitagorico.
Quale regalo più bello avrebbe potuto ricevere un pitagorico come me?
Grazie Dario Germani!

Per chi volesse saperne di più del circolo delle quinte modificato e integrato da John Coltrane:
La geometria musicale di John Coltrane
John Coltrane's Tone CircleJohn Coltrane's Music & Geometry

mercoledì, ottobre 25, 2017

Il 23 ottobre è morto Corrado Böhm, uno dei padri dell'informatica teorica

Ho avuto il privilegio di avere Corrado Böhm come professore quando studiavo alla Sapienza. Lui teneva il corso di Teoria e Applicazione delle Macchine Calcolatrici mentre Giuseppe Jacopini, coautore del teorema di Böhm-Jacopini, teneva il corso di Teoria degli Algoritmi e della Calcolabilità.

Credo che fossero tra i pochi a poter insegnare un teorema con il proprio nome nei loro corsi.
Ricordo i divertenti esercizi con il lambda calcolo e i moduli che dovevamo implementare per la sua Cuch-machine.

Ho un buon ricordo di lui anche dal punto di vista umano.

Sul suo sito si trovano altri ricordi.