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.

Ultimo aggiornamento: 2015-08-12 21:23