Kurt Godel è stato un matematico e filosofo che nel 1931 elaborò i famosi “teoremi dell’incompletezza”. Il primo di questi, semplificando, si può riportare così:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all’interno dello stesso sistema.
Se non lo avete capito fino in fondo …

E’ ufficiale: Dio non esiste.
A prescindere che siate credenti o no, questo è quello che potete dedurre da ciò che è successo con le sirene negli ultimi giorni. Sì, quelle mitologiche donne metà donna e metà pesce, che oggi lavorano sui tetti delle ambulanze.
I giornali hanno scritto che “Le sirene non esistono“, ormai è certo: perché lo dice “l’istituto oceanografico americano, il Noaa”. E la gente pensa: ovvio che non esistano, chi le ha mai viste?
Facciamo però un passo indietro. Andiamo a vedere quello che ha davvero detto l’Istituto, e …