Quando i teologi si cimentano con la Logica Matematica

Ho appena letto Sandro Magister arruola Kurt Gödel di .mau. e lo volevo segnalare agli appassionati di logica e/o religione.
Per i curiosi non appassionati riporto questa citazione.

... 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.

C'è una teiera di porcellana che orbita attorno al Sole

La teiera di Russel (Post ispirato da Arimortis)

«Se io sostenessi che tra la Terra e Marte c'è una teiera di porcellana in rivoluzione attorno al Sole su un'orbita ellittica, nessuno potrebbe contraddire la mia ipotesi, purché mi assicuri di aggiungere che la teiera è troppo piccola per essere rivelata, sia pure dal più potente dei nostri telescopi. Ma se io dicessi che - posto che la mia asserzione non può essere confutata - dubitarne sarebbe un'intollerabile presunzione da parte della ragione umana, si penserebbe con tutta ragione che sto dicendo fesserie. Se, invece, l'esistenza di una tale teiera venisse affermata in libri antichi, insegnata ogni domenica come la sacra verità ed instillata nelle menti dei bambini a scuola, l'esitazione nel credere alla sua esistenza diverrebbe un segno di eccentricità e porterebbe il dubbioso all'attenzione dello psichiatra in un'età illuminata o dell'Inquisitore in un tempo antecedente.»

Bertrand Russel