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 :)

Andiam, andiam, andiamo ad emendar

Scusate se ritorno sulla riforma del Senato. L’ineffabile Calderoli ha infatti presentato mezzo milione di emendamenti, e minacciato di raddoppiarli se il governo non accetterà di tornare al Senato elettivo.
Tralasciamo per il momento la ricerca del programma software che genera tutti questi testi – immagino sia un adattamento di quelli che postano commenti spammosi sui blog – e limitiamoci allo scenario più probabile a questo punto: Renzi chiede la fiducia, i senatori della sinistra dem mugugnano e votano, e il risultato pratico è l’opposto di quanto il Dentista proclama di voler fare.

Scegliete voi se sta facendo l’amico del giaguaro o se l’unico suo interesse è tornare sulle pagine dei giornali: che non ci arrivi è onestamente impossibile.

Senato elettivo

Non mi importa che Re Giorgio abbia scritto che non si può tornare indietro dalla proposta renziana di un Senato di nominati perché cadrebbe tutto l’impianto della riforma (davvero?). Non mi importa nemmeno che la minoranza dem sia a favore di un Senato elettivo, anche perché – diciamocelo – se Renzi l’avesse proposto loro sarebbero subito passati a un Senato di nominati. Il mio punto di vista continua a essere lo stesso.
Il problema con il nostro bicameralismo piuccheperfetto è duplice: da un lato le leggi vengono rimpallate tra i due rami del Parlamento, magari aggiungendo emendamenti che non hanno nulla a che fare con la legge originaria; avere poi da una parte un maggioritario su base nazionale e dall’altra un maggioritario su base regionale porta a distribuzioni dei seggi diverse. Nominare i senatori non risolve questi problemi, tanto che comunque è necessario togliere poteri al Senato. A questo punto sarebbe bastato definire le materie della Camera e del Senato, dire che una legge può avere al più tre passaggi partendo dal “suo” ramo e che la terza lettura è solo una votazione sì/no sugli emendamenti introdotti dalla seconda. O pensate davvero che senatori che devono già seguire le leggi regionali si mettano a studiare (aggratis) quelle nazionali? Non scherziamo: i voti saranno irreggimentati e quindi inutili in pratica.