Archivi autore: .mau.

Informazioni su .mau.

matematto non praticante

Caro “Dyson”

Caro “Dyson”, che stai cercando di spammare il tuo sito .com mettendo commenti in italiano immagino copiati a pezzi da altri siti: ci sarei quasi potuto cascare, visto che nel post “i mesi da 28 giorni” hai scritto «Il fatto che sia stata apportata questa modifica alla gestione del numero di giorni mensili permette agli utenti, grazie all’intervento dell’antitrust, di rescindere il contratto gratis?». Certo però che la semantica nel commento a “il bollino sui condizionatori” è inesistente: «Obbligo nuovo libretto e bollino su climatizzatori e condizionatori in quanto equiparati agli impianti di riscaldamento e per questo devono essere dotati di libretto impianto e sottoposti a controlli periodici ogni 4 anni se hanno una potenza superiore a 10 kw per quelli invernali e 12 kw per quelli estivi. Regioni di “apportare eventuali integrazioni e di emanare propri indirizzi operativi”.». Ma ti sei fregato con le tue mani quando sulla recensione di “Grammatica italiana“ hai scritto «Carissima Mirella, devo solo ringraziare Lei anche a nome di Luca Coletta che ha realizzato l ebook e che permette che sia scaricato gratis dalla pagina di Racconti Oltre, per questo apprezzamento. Posso solo suggerirLe, come si faceva una volta, di far notare alla bambina gli errori ortografici, quando ne fa. La mia maestra ci faceva ogni anno comperare un quaderno destinato all autocorrezione degli errori ortografici.»

Seriamente: qualcuno dei miei ventun lettori ha idea se questi commenti siano recuperati e reimmessi con un sistema automatico? Sarebbe un bel risultato teorico, se ci pensate.

Car2go e il “fuoriMilano”

In questi giorni qui a Milano sta montando una Grande Protesta Popolare contro la decisione unilaterale di car2go – uno dei millanta servizi di car sharing, se non sbaglio il primo ad essere sbarcato in città in grande – di aggiungere un balzello di euro 4,90 a chi lascia la macchina nella periferica periferia della città. Periferia molto periferica: io abito in periferia ma a giudicare dalla cartina sono ben dentro la zona che per loro è “la vera Milano”. Non che la cosa mi importi, non avendo mai avuto la tessera car2go e non avendo mai usato nessun servizio di car sharing. Ad ogni buon conto, il balzello prevede anche che chi porti una macchina dalla più periferica periferia al centro guadagni… minuti gratuiti, figuriamoci se abbassano le tariffe. Le reazioni vanno dalle marchette (vedi per esempio il Milanese Imbruttito) alle prese di posizione su Facebook del Comune di Milano, con la replica di car2go. La cosa più divertente, come al solito, è leggere i commenti, anche se i testi contengono anch’essi delle chicche.

Da quanto ho capito, legalmente la situazione è a favore di car2go, perché nella convenzione con il comune non c’è scritto da nessuna parte che le tariffe debbano essere uguali per tutta la città e quello che conta è solo che si possa lasciare l’auto più o meno ovunque. Gli utenti arrabbiati insomma hanno come unica scelta passare a Enjoy, Twist o qualche altro gestore, tenendo comunque conto che se i calcoli fatti da car2go sono corretti a loro conviene perdere quei clienti lì: se è vero che pagano al comune 1100 euro l’anno per auto, quelle macchine devono girare il più possibile. Detto questo, resta la diatriba di base. Se si deve aumentare il costo di un servizio, è più corretto spalmarlo su tutti gli utenti oppure creare un sistema di incentivi? Per dire, il biglietto del bus a Milano costa un euro e mezzo per novanta minuti, ma se appena si superano i confini comunali il costo sale parecchio. Certo, aumenta il tempo di validità, ma per esempio non si può andare e tornare da un comune fuori Milano, il che è limitante. Oppure per fare un esempio che mi riguarda più da vicino, ha senso ampliare troppo BikeMi? Ora che è arrivata a una distanza ragionevole da casa mia (700 metri, prima la stazione più vicina era a quasi un chilometro e mezzo) io sono naturalmente contento, però il matematico che è in me si chiede quanto l’ampliamento dell’area porterà a disuguaglianze nella distribuzione delle bici. Già ora a pranzo è molto difficile lasciare la bici in uno stallo in centro, perché tutti arrivano lì… Insomma, a parte i vantaggi e svantaggi personali, la mobilità di questo tipo è un problemone.

Sandro Magister arruola Kurt Gödel

Se siete tra i miei ventun lettori saprete che io leggo sempre il blog di Sandro Magister, Settimo Cielo: negli anni quello che era un interessante punto di vista sulla Chiesa Cattolica si è trasformato in un piedestallo dove Magister spiega come dovrebbe essere il Vero Cattolicesimo, il che in pratica significa che il motivo per cui leggo il blog è cambiato :-)

Al momento il tema più caro a Magister è quello dell’eventuale riammissione al sacramento dell’Eucarestia – a fare la comunione, insomma – dei divorziati risposati, cosa sulla quale lui è contrarissimo; ergo, cerca ovunque nel mondo cattolico sostenitori delle sue tesi. L’ultimo ad essere stato arruolato è nientemeno che Kurt Gödel: va bene che siamo in agosto, ma in tre giorni consecutivi troviamo ben tre post al riguardo!

Lunedì c’è stato un intervento di Antonio Emanuele (che essendo contro le tesi di Magister si è visto allegare un controintervento da parte di Giuseppe Fallica) che tra l’altro afferma che Gödel e Tarski hanno dimostrato come la logica aristotelico-stoica non può «costruire un sistema razionale il quale, a partire da un certo numero di principi, sia in grado di dedurre (dimostrare) tutto ciò che è vero e tutto ciò che è falso.» Martedì Emanuele si è visto smontare le sue affermazioni da Silvio Brachetta. Brachetta scrive tra l’altro «In teologia, però, non si dimostra qualcosa di cui non si sa nulla, ma qualcosa di cui l’uomo di fede sa tutto. Lo sa poiché, semplicemente, glielo ha detto Dio, rivelandosi. La teologia, insomma, non ha nulla a che vedere con la costruzione di un “sistema razionale”, come presume Emanuele.» Mercoledì il dibattito tra Emanuele e Brachetta continua. Brachetta tra l’altro scrive «Ancora più chiaramente: come Gödel, in matematica, dovette uscire da un sistema logico coerente per dimostrare almeno una proposizione elaborata in quello stesso sistema logico (teoremi d’incompletezza), così anche l’intelletto umano può, vuole e deve uscire dalla natura per trovare le ragioni ultime che cerca nella soprannatura. E vi esce non solo grazie alla divina rivelazione, ma per una sua capacità trascendente intrinseca e peculiare, forse dovuta alla somiglianza dell’uomo con Dio.»

Sulla parte teologica non ho molto da dire, se non che mi stupisce che la teologia non dovrebbe essere un sistema razionale: la fede è irrazionale, nel senso che non può derivare dalla ragione, ma tutta la teologia usa argomenti razionali, partendo dalle premesse della fede. Altrimenti non sarebbe teologia ma misticismo. Ma quello su cui non sono d’accordo sono le affermazioni su cos’è il teorema di Gödel. Tanto per mettere le cose in chiaro, il primo teorema di incompletezza di Gödel afferma che un sistema formale non può avere contemporaneamente tutte queste quattro proprietà: (1) consistenza (non è possibile dimostrare entrambe le proposizioni P e NOT(P)); (2) completezza (per ogni proposizione P si può dimostrare o che P è vera o che P è falsa); (3) essere ricorsivamente enumerabile (esiste una procedura che man mano genera tutte le proposizioni vere: si noti che la procedura non è necessariamente finita, il che significa che data una proposizione P non si può mai essere sicuri di trovare la sua dimostrazione) e (4) essere in grado di esprimere proprietà aritmetiche di base (usare i numeri interi e le operazioni di somma e prodotto). Bene: penso converrete tutti che la moltiplicazione dei pani e dei pesci e il dogma della Trinità non valgono come “proprietà aritmetica di base”, il che significa che il teorema non può semplicemente essere applicato. Quanto al resto, mi sta anche bene che l’intelletto umano possa, voglia e debba uscire dalla natura per trovare le ragioni ultime che cerca nella soprannatura: ma di nuovo tutto questo non vuol dire che Gödel dovette uscire da un sistema logico coerente per dimostrare almeno una proposizione elaborata in quello stesso sistema logico. Gödel non è uscito da nessuna parte né ha “dimostrato” nulla, al più affermava che occorreva aggiungere la proposizione come assioma. Insomma, lasciate stare la matematica quando si parla di teologia, occhei?

Ah: nel primo post Emanuele afferma anche «A chi fosse interessato ricordo il tentativo dello stesso Gödel di dimostrare l’esistenza di Dio, e quelli successivi, tutti compiuti con enti e strumenti non convenzionali.» Beh, no: la dimostrazione gödeliana dell’esistenza di Dio segue pedissequamente le regole della logica. Al più si può discutere sulla validità del suo assunto principale, che cioè l’esistenza sia una proprietà positiva.

E tornate all’italico “voi”!

[disonorevole] Ieri in rete si è parlato un po’ della proposta di legge di alcuni deputati M5S (se state leggendo questo post sul mio blog e cliccate sulla figura potete vedere il testo completo insieme alla presentazione direttamente sul sito della Camera) per abolire l’uso del titolo di “onorevole” «riferito ai deputati, ai senatori, ai consiglieri regionali e ai consiglieri provinciali, anche se cessati dalla carica.» I cattivoni e gli sbadati che in caso di promulgazione di tale legge utilizzassero ancora la parola verrebbero puniti «con l’ammenda da euro 600 a euro 6.000», ammende che poi verrebbero versate nel «Fondo di garanzia per le piccole e medie imprese in favore di operazioni del microcredito», che se non sbaglio è quello dove gli onorevoli, pardon i cittadini portavoce, eletti nel M5S depositano i soldi oltre la soglia stabilita dal moVimento.

Credo che in molti concordino sull’affermazione che «L’attributo “onorevole” significa “degno di stima e di rispetto” e sarebbe [dunque] opportuno acquisirlo a consuntivo e non a preventivo». Si può anche affermare che «Il cambiamento […] passa anche attraverso le parole e il linguaggio»: lo dice sempre anche la presidente Boldrini. Quello che i pentastellati (e forse anche la presidente) non hanno però compreso è che imporre per legge un uso è nel migliore dei casi inutile e nel peggiore ridicolo. Puoi imporlo negli atti pubblici, certo: e a questo punto puoi sperare che l’uso comune col tempo cambi. Ma per il resto è come se tu volessi multare chi scrive “qual è” con l’apostrofo. O forse i pentastellati vogliono mostrare al loro popolo che stanno facendo le cose sul serio e vogliono ribaltare la nostra italica nazione? A quando la battaglia del grano (non OGM, immagino)?

P.S.: cercare di imporre per legge un uso linguistico indica l’incapacità di avere abbastanza carisma per convincere gli altri che quell’uso è migliore. Da questo punto di vista direi che i pentastellati hanno da imparare molto da Striscia la notizia.

Aggiornamento: (12 agosto). Come si vede nei commenti, la proposta di legge è stata scopiazz…ehm, ripresa da una proposta similare del 2002, a firma di vari parlamentari della sinistra sinistra tra cui l’attuale sindaco di Milano Giuliano Pisapia. Le considerazioni che ho fatto nel post naturalmente si applicano pari pari a costoro; per quanto riguarda i pentastellati, oltre a rammentare loro che se un’idea è stupida continua a esserlo anche se copiata, faccio notare (a) che buona educazione avrebbe fatto aggiungere nella presentazione che l’idea non era loro e (b) che farsi pubblicità con l’articolo sulle multe devolute al microcredito è abbastanza ridicolo.

l’aggressione sul bus a Genova

Immagino che la settimana scorsa abbiate letto o visto sui giornali la storia del genovese finito in coma dopo essere stato pestato da un gruppo di persone. La storia non è bella: c’è un uomo ridotto in fin di vita. Eppure di punti strani ce ne sono più di uno.

Non è necessariamente strano il fatto che l’aggressione sia stata il 14 luglio e Luca sia andato in ospedale solo una settimana dopo quando le sua condizioni si sono aggravate. È un po’ più strano che la notizia, arrivata il 23 luglio ai carabinieri, sia stata pubblicata solo il 4 agosto: ma supponiamo che sia stato chiesto ai media di tacere per condurre le indagini. Ma da qui le cose si complicano. Il giorno dopo l’autista del bus afferma di non aver visto l’aggressione, e aggiunge la frase sibillina «Maresciallo: mio nonno sa cosa mi ha insegnato? Che nella vita è meglio farsi i fatti propri»: manco volesse dare uno spunto a Gramellini. Suvvia, ci sono modi molto più semplici di negare di aver visto qualcosa, e una frase così dà tanto l’aria di essere un messaggio trasversale agli aggressori. (Che l’avvocato dell’autista affermi ora che la frase è stata «pronunciata fuori dal verbale di sommarie informazioni ed estrapolata dal contesto originario» è irrilevante, come potete immaginare: significa semplicemente che è stata detta mentre non si stava scrivendo il verbale, e ci mancherebbe altro)

E in effetti cosa succede il giorno dopo ancora? Toh: spunta un video. Dovrebbe essere assolutamente impossibile recuperare un video di più di tre settimane prima, in barba a tutte le leggi sulla privacy che impongono la cancellazione dei dati dopo pochi giorni: ma guarda la fortuna, «Il server d’una videocamera del Comune, posizionata su piazza Caricamento, 36 ore dopo l’aggressione si è inceppato ed è andato in tilt. Ha arrestato così la procedura di cancellazione prevista ogni 120 ore, avvenuta regolarmente per tutti gli altri sistemi della zona.» Pensate: si è andati a cercare le immagini dopo tre settimane! Ma anche l’avessero fatto dopo nove giorni, quando la notizia era arrivata ai carabinieri, logica avrebbe voluto che le immagini ormai erano state sovrascritte, e sicuramente nessuno terrebbe i video per un mese rischiando le ire del Garante. Ah: se fosse davvero successo, i miei più vivi complimenti a un sistema che non ha modo di avvisare di aver riempito l’hard disk con le immagini: o quelle macchine hanno decine di terabyte di memoria inutile, visto che lo spazio necessario può essere tranquillamente stimato e lasciare il doppio del necessario è già tanto? Addirittura si viene a sapere che «uno dei ragazzi ha un tatuaggio tribale sul collo, piuttosto evidente.» Il classico tipo di dettaglio che si dà per dimostrare che si sa già di chi si sta parlando e si cerca di fargli fare qualche errore, anche perché immagino che quel filmato non potrà essere prodotto come prova e abbiamo appena letto che l’autista del bus non ha visto nulla, ma proprio nulla.

Ma la caccia all’uomo non dà frutti, e due giorni dopo arrivano nuove notizie. Si trova finalmente l’inglese che quella notte era assieme a Luca, e si scopre che costui aveva detto alla compagna di Luca che «il pestaggio sarebbe stato compiuto da ragazzi sudamericani pericolosi». Fin qua la cosa ci potrebbe anche stare, pur se rimango stupito al pensiero che non si fosse partiti subito col “dagli allo straniero”. Ma addirittura Luca, prima di entrare in coma, avrebbe detto alla compagna che «l’aggressione sarebbe stata effettuata da ragazzi ecuadoriani». Per me sarebbe impossibile distinguere un ecuadoregno da un colombiano, per dire: eppure qui sembra la cosa più naturale di questo mondo.

Poi il silenzio. Nessuna notizia nemmeno sul Secolo XIX, almeno fino a ieri sera. Posso dire che ho come il sospetto che ci sia molto più di quanto si può leggere sui giornali?

Qualità del servizio postale universale

Ecco il testo del reclamo che ho appena inviato tramite modulo online alle Poste.

Stamattina mi è arrivata una busta con un libro che avevo ordinato all’estero. Mia moglie, che era a casa, ha detto che il postino ha suonato a casa nostra, le ha detto che c’era una busta per noi che non sarebbe entrata nella buca delle lettere e che l’avrebbe buttato dall’altra parte del cancello esterno del nostro condominio, cosa che effettivamente ha fatto. Tenendo conto che era da ieri notte che stava piovendo, quando mia moglie è scesa si è trovata ovviamente una busta fradicia e un libro ammaccato.
Supponiamo pure che il carico di posta del 10 agosto fosse così elevato da non permettere al postino di aspettare che mia moglie scendesse le scale: posso immaginare che le zone da servire siano più ampie perché molti operatori saranno giustamente in ferie. Ma il postino avrebbe potuto chiedere di far aprire il cancelletto e posare la busta davanti alla porta di ingresso interna, e quindi al riparo; oppure avrebbe potuto lasciarla nella cassetta per la pubblicità o sopra i citofoni, sempre all’asciutto. Nella peggiore delle ipotesi avrebbe potuto lasciare un avviso di impossibilità di consegna: tanto tecnicamente buttare una busta oltre un cancello non significa aver consegnato la posta.

Ah: ho dovuto allegare il testo in formato .doc, perché lo spazio per le comunicazioni era di 100 (cento) caratteri, e tra l’altro le parentesi tonde non erano accettate.

Il problema del rientro

Ieri sera sono tornato da una settimana passata a Usseglio dalla mia mamma. Il vero problema non è stato il caldo – anche perché poi da stanotte è cominciato a diluviare e la temperatura si è abbassata di molto. Il vero problema è stato che dieci minuti dopo che sono entrato in casa ho iniziato a grattarmi per le punture di zanzare tigre.
Tra l’altro ieri pomeriggio mi sono fermato qualche ora a Torino, e mica sono stato punto. Com’è ‘sta storia? È tutta colpa di Pisapia?

_Raising Steam_ (libro)

A meno che sua figlia cambi idea e decida di scrivere dei sequel, questo (Terry Pratchett, Raising Steam, Corgi 2014 [2013], pag. 480, Lst 7,99, ISBN 978-0552170529) è il penultimo libro della saga del Discworld, e l’ultimo della serie principale (_The Shepherd’s Crown_ sarà su Tiffany Aching e quindi in un certo senso uno spinoff). Quello che ho notato leggendolo è che rispetto alle precedenti prese in giro del nostro universo qui siamo molto più vicini alla realtà: il racconto di quello che capita con la nascita della ferrovia potrebbe essere stata una cronaca fatta da un contemporaneo di Dickens, anche se poi la trama riprende _Snuff_ (ma anche i primissimi libri, si pensi a _Equal Rites_) e si snoda ancora di più sui temi dell’uguaglianza.
L’altra caratteristica che si nota è il diverso ruolo della magia rispetto ai primi libri della saga. Di magia ce n’è eccome, ma è più nello stile del suo amico Neil Gaiman, come si può vedere con Iron Girder. Dick Simnel è un ingegnere, la sua bacchetta magica è il regolo calcolatore e gli incantesimi sono coseni, tangenti e quadratiche. La sensazione di chiusura del ciclo si ha anche per le diverse note a piè di pagina che rimandano ai libri precedenti e che accennano a vari personaggi… con la stranissima ecezione di Carrot, che pure sarebbe stato logicamente il primo a dover partecipare all’avventura – rovinandola tutta, ed è probabilmente per questo che non c’è: ma almeno dire chessò che era in missione a Fourecks? I personaggi naturalmente evolvono: il Comandante Vimes è una persona ben diversa da quello che avevamo visto in _Guards! Guards!_, Moist von Lipwig da imbonitore è diventato ormai una persona piena di dubbi e certezze ben diverse dal passato, e Harry King mostra ancora più il suo cuore d’oro. Solo Vetinari resta uguale :)