En passant les quelques gallipettes logiques, ils arrivent à "Je mens" ("I'm
lying").
Si cette phrase est vraie, alors c'est que "je mens", donc c'est que la
phrase est fausse. contradiction.
Si cette phrase est fausse, alors c'est que "je ne mens pas", donc c'est que
la phrase est vraie. contradiction.
Je sais pas pour vous, mais je suis pas vraiment d'accord avec cette
simplification. La phrase "je mens" a-t-elle matière à être vraie ou fausse
?
Un peu comme si on écrivait une abérration du genre :
void je_mens();
if(je_mens()==true){...}
if(je_mens()==false){...}
En revanche, si on posait la question : "est-ce que je mens ?" déjà on
aurait un type de retour :
bool est-ce_que_je_mens();
Mais on pourrait toujours pas répondre à la question, car :
bool est-ce_que_je_mens(){
//TODO: à quel props ??
return j_en_sais_rien;
}
Un peu bâtard tout ça, mais vous voyez où je veux en venir ?
Partager