Jam-session Radiophonique #13 Black Sabbath

Ce soir le prince des ténèbres sera parmi nous !!!

13 + vendredi = Le Prince des Ténèbres, on l’écrira pour plus de facilité 13+v=PT

théorème de Ozzy 

Bien connu des adorateurs de la matière sombre, le théorème d’Ozzy est connu depuis le haut post-moderne.Je vais de suite tenter de vous l’expliquer en toute logique…

Si Dark matter est modèle de Ozzy alors Dark matter est modèle de 13+v=PT. Ce qui se note:

Ozzy  ⊨ 13+v=PT

Il existe une démonstration de 13+v=PT à partir de Ozzy, ce qui se note Ozzy ⊢ 13+v=PT

Remarque :

Ozzy peut être la théorie vide, c’est à dire sans axiomes. Dans ce cas 13+v=PT est un théorème de la logique sous-jacente. On dit dans ce cas que 13+v=PT est une tautologie de cette logique…

Je serai tenté de dire, c’est clair non ? Mais dans le cas présent on doit dire, abscons n’est il pas ?

 Playlist :

War pigs

paranoid

Iron man

Black sabbath

Replay Black Sabbath