super la vidéo sur Godel ! bien expliquée pour une fois ! et j'ai trouvé très drôle ce ḡ libre. et son blog. ça m'a rappelé un essai que j'avais fait d'insérer le concept de "nombre imaginaire" dans la logique par ex: une proposition I qui est à la fois vraie et fausse. et quand on se retrouve avec (I ET non I) là ça vaut VRAI ! (tout comme le nombre imaginaire: i * i_bar = 1). en revanche I ou non I est FAUX ... il y a certainement à creuser là !