Archivi autore: .mau.

Informazioni su .mau.

matematto non praticante

Scelti per te (libro)

copertinaQuesto breve testo si occupa di come i diversi social network cercando di accalappiarti e farti restare al loro interno, fortunatamente evitando di usare la trita frase “se non devi pagare, allora sei tu il prodotto” (per dire, mi sa che con X anche se paghi continui a essere il prodotto). Tra i punti positivi c’è il tentativo di spiegare per ciascuno dei principali social network quali potrebbero essere i dati impliciti che vengono raccolti e il decalogo finale (di buon senso) su cosa possiamo fare noi. Ci sono però cose che non mi sono piaciute: se in fondo a pagina 14 un 20% diventa “uno su quattro” o a pagina 20 ci aspettiamo che dopo un po’ che il 10 rosso non è uscito alla roulette allora la probabilità che arrivi è maggiore abbiamo qualche problema matematico. Sono il primo ad affermare che in questi casi la matematica non è tutto e la sociologia è preponderante: ma fare un controllino no?

(Francesco Marino, Scelti per te : Come gli algoritmi governano la nostra vita e cosa possiamo fare per difenderci, Castelvecchi 2021, pag. 115, € 14,50, ISBN 9788832905960 – se acquistate il libro dal link qualche centesimo va a me)
Voto: 3/5

far togliere le bici free floating

bici ridemovi Io odio il bike sharing di tipo “free floating”, dove puoi lasciare la bici dove ti pare, e non in apposite stazioni come si fa con BikeMi, a cui in effetti sono abbonato. Il motivo? che queste bici, come del resto anche i monopattini, sono sbattuti davvero in modo osceno.
Erano mesi che vicino a casa mia stazionavano una ventina di bici ridemovi, che praticamente bloccavano il marciapiede. All’inizio pensavo che le lasciasse qualcuno dello scommessificio dall’altra parte, ma la cosa non aveva molto senso (e poi gli scommettitori lasciano la macchina in doppia fila, mica usano la bici).
Alla fine mi sono scocciato, e l’altra settimana ho chiesto ai vigili della pattuglia che presidiava l’ingresso alla mia via bloccato causa esondazione Seveso che si potesse fare. La risposta è stata “scriva ai vigili di quartiere”. Beh, l’ho fatto e quando poi sabato sera sono tornato dalla gita ligure per buttare via roba ho visto che le venti bici erano diventate sette e soprattutto tutte messe contro il muro dell’ex fabbrica. Insomma pare che la mail sia servita :-)

Harris vs Trump (e Taylor Swift)

locandina ABC presentante il dibattito Se persino Fox News dice che il dibattito Harris-Trump di martedì è stato vinto dall’attuale vicepresidente (pur lamentandosi che i moderatori erano contro l’ex presidente) si può essere ragionevolmente certi che è stato così. Se non ho cqpito male dai commenti che ho letto, però, il dibattito non si è svolto su quello che un osservatore naif avrebbe immaginato (cioè su cosa faranno i candidati nel caso saranno eletti): la strategia di Harris è stata quella di fare arrabbiare Trump – cosa che in effetti non è troppo difficile – per farlo rispondere in modo sconnesso, tipo sugli stati che permetterebbero di abortire dopo la nascita del bambino o sugli immigrati haitiani che mangerebbero cani e gatti (“l’ho visto in televisione!”). Detto questo, non credo però che il dibattito abbia cambiato le carte in tavola: c’è troppa polarizzazione per spostare voti. La gente l’ha guardato, mi sa, come si guarda un match di wrestling, come puro spettacolo.
E parlando di spettacolo noto che l’endorsement di Taylor Swift a Harris ha ottenuto 9 milioni di like su Instagram – e di nuovo questo è puro spettacolo – ma anche 337000 persone che sono andate a vedere come votare. Questo in effetti mi pare molto più interessante, e mi fa pensare che la spettacolarizzazione della politica è ormai completa.

Misteri informatici

Stamattina sono arrivato in ufficio, ho attaccato il mio PC alla docking station con rete e HDMI per il monitor esterno, e il PC si piantava. Più precisamamente, explorer continuava a chiudersi e riaprirsi, e non vedevo le icone nella taskbar (oltre a non riuscire a fare nulla). Dopo un po’ di prove, ho scoperto che:
– il problema è con l’HDMI: sia che lo attacchi al PC che alla docking station non funzionava nulla
– il problema non è con il cavo: cambiando cavo la situazione è la stessa
– il problema non è con il monitor: un altro pc attaccato al mio monitor funziona
– il problema non è con il mio PC: se lo attacco a un altro monitor funziona. (considerando che non ho diritti di amministratore sul PC, la cosa mi risolleva perché non devo aprire un ticket)
Non ho proprio idea di cosa fare (a parte rubar… ehm, scambiare il mio monitor con un altro)

Aggiornamento (13:15) Ho scoperto il problema, ed è legato al display esteso che uso sempre. A questo punto l’ipotesi “driver rovinato” diventa la più probabile, ma come dicevo non posso cambiarlo io…

Aggiornamento (12 settembre) Niente, nemmeno il reset dei driver è servito…

Il problema di Brocard

4! + 1 = 5²; 5! + 1 = 11²; 7! + 1 = 71²Il fattoriale di 4 è 24; se gli sommiamo 1 otteniamo 25, che è il quadrato di 5. Il fattoriale di 5 è 120; sommandogli 1 otteniamo 121, che è il quadrato di 11. Il fattoriale di 7 è 5040; sommandogli 1 otteniamo 5041, che è il quadrato di 71. E poi? Basta, almeno per quanto ne sappiamo.

Il problema di Brocard è stato posto da Henri Brocard nel 1876, ed è stato riscoperto indipendentemente da altri matematici, tra cui Ramanujan. La congettura è che questi siano gli unici casi in cui il fattoriale di un numero sia un’unità inferiore a un quadrato perfetto: sono stati esclusi altri risultati fino a $10^{12}$, ma non si è nemmeno riusciti a dimostrare che il numero di soluzioni possibili sia finito. (La cosa sarebbe un corollario della congettura abc, ma la “dimostrazione” di Shinichi Mochizuki non è stata accettata dalla comunità matematica).

Del resto Brocard, anche se la sua carriera matematica è stata nel campo della geometria, è noto anche per un’altra sua congettura: se $p$ e $q$ sono due primi dispari consecutivi (nel senso che non ci sono altri primi tra di esso: per esempio 89 e 97 sono primi consecutivi) allora ci sono almeno quattro numeri primi tra $p^2$ e $q^2$. Il mio commento su queste proposizioni ricicla quanto Gauss scrisse a W. M. Olbers: «Confesso che il teorema di Fermat, come proposizione isolata ha davvero scarso interesse per me, poiché potrei facilmente formulare una gran quantità di tali proposizioni, che non si potrebbero né provare né confutare». (Ma secondo me Gauss rosicava…)

MATEMATICA – Lezione 31: La matematica dei calendari

copertina “Trenta dì conta settembre / con april, giugno e novembre: / di ventotto c’è febbraio / tutti gli altri ne hanno… ehm… un paio?” Qualche decennio fa alcuni miei amici fecero una partita a un gioco di ruolo dove il gamemaster aveva sbagliato a raccontare la filastrocca sulla lunghezza dei giorni e aveva creato un anno con parecchi mesi molto corti… Ma anche nel mondo reale le cose non sono sempre andate lisce. I Rudi Mathematici ci raccontano di come le misure temporali che ci appaiono ben formate ma in realtà non lo sono affatto ha fatto sì che prima i sacerdoti e poi i potenti chiedessero agli scienziati di “trovare la quadra”, con tutti gli annessi e connessi: scopriremo perché febbraio è più breve ma in una nazione per un anno c’è anche stato il 30 febbraio, che ogni tanto ci scappa un secondo in più, di come in Giappone i calendari dovevano essere mimetizzati causa monopolio di chi li definiva, e qual è il giorno del giudizio.
I miei giochi matematici stavolta hanno una soluzione un po’ più “brutta”, insomma bisogna fare un po’ più di fatica per arrivare alla soluzione: Sara Zucchini ci racconta invece di Maria Gaetana Agnesi, che avrebbe potuto essere la prima professoressa universitaria di matematica se non avesse deciso di prendere un’altra strada.

Rudi Mathematici, La matematica dei calendari, allegato a Gazzetta dello Sport e Corriere della Sera, €6.99 più il prezzo del giornale.

Ma chi è che scrive il software per la sanità lombarda?

A inizio agosto Anna si è rotta la punta del malleolo. A fine agosto ha fatto la lastra di controllo, e oggi ho recuperato online il referto, con immagini delle lastre.

Il referto online è un file di 157.743 KB dal nome referto-immagini.pdf. No, non è un pdf ma uno zip, e già qui non capisco perché non possano spedirlo con l’estensione corretta, visto che nella pagina è indicato che verrà scaricato uno zip. Aprendolo, si trovano più di 270 mega di roba, tra cui una JRE apposita, oltre al programma per leggere i file DICOM ivi presenti con le lastre: tre file per cinque mega. Considerando che tanto il fruitore medio si bloccherà con il file pdf che non si può aprire e il fruitore un minimo sgamato deve lavorare su questi file, se io avessi dovuto fare una pagina per il download avrei messo i soli file dati e avrei aggiunto delle caselle “vuoi anche scaricare il software per leggere questi file (Windows/Mac/Linux)?” e “se non hai un Java Runtime Environment, usa questa versione molto più grande che ce l’ha all’interno” (anzi avrei fatto alla rovescia: messo per default la versione grande e aggiunta la casella “se hai già installato un JRE puoi usare questa versione ridotta”). Così almeno al giro dopo non devo scaricare altri 157 mega. E lasciamo perdere che https://www.microdicom.com/ ti permette di scaricare liberamente il viewer per uso non commerciale.

Qual è il problema con il settore IT della sanità lombarda?

Paralimpiadi

logo paralimpiadi Non ho seguito molto le paralimpiadi (a parte Guo Jincheng nel nuoto). Del resto, non ho nemmeno seguito molto le olimpiadi. Però mi è capitato di vedere i titoli dei giornali, non solo nostri ma anche la BBC, e c’è qualcosa che non mi torna. Non parlo della storia di Valentina Petrillo: mi pare che ci siano già stati abbastanza articoli in giro. Quello che invece ho notato è che ci sono parecchi atleti che hanno partecipato e vinto a svariate Paralimpiadi. Che vuol dire, in pratica? Direi che loro, nella evidente sfortuna, hanno almeno avuto la possibilità di allenarsi per decenni ad alto livello, cosa che purtroppo non possono fare in tanti. Mi chiedo insomma quanto le Paralimpiadi siano un modo per vedere i pochi e dimenticarsi dei tanti.

(logo paralimpico da Wikimedia Commons)