Di tutto..

Con il patrocinio di uno dei miei professori preferiti volevo proporvi un forse non noto teorema che spesso si dilegua in insensati modi di dire che ristagnano nelle convinzioni dei più come mere sciocchezze da spolverare qua e là per fare del povero moralismo.

É un teorema che si deve (almeno così vuole la tradizione) ad un personaggio poco noto a molti (a me in prima persona fino a qualche giorno fa), John Duns Scotus e che prende il nome di Ex falso sequitur quodlibet.

Il teorema afferma che partendo da una contraddizione si può dimostrare qualunque affermazione (da qui il titolo latino). Ecco come si fa.

Prendiamo una affermazione qualsiasi: l'ipotesi di Riemann. Supponiamo che sia vera e falsa. Ora vogliamo dimostrare che la seguente uguaglianza è vera:

1+1=3

Bene, dato che l'ipotesi di Riemann è vera, allora è vera anche l'affermazione che dice:

L'ipotesi di Riemann è vera oppure 1+1=3

Infatti una generica proposizione “P vel Q” come quella di sopra è vera quando almeno una delle due proposizioni che la compongono (cioè P oppure Q) è vera.

Perfetto. Dato che la proposizione composta

L'ipotesi di Riemann è vera oppure 1+1=3

è vera, e dato che l'ipotesi di Riemann è falsa, allora occorre che sia vero che

1+1=3.

Quindi la tesi.

Mi scuso per la mancata formattazione in LaTeX ma c'è stato qualche piccolo problema tecnico 

che risolveremo a breve :)