-
@Steph__A__ @JeromeColombain Il y a une différence entre « ne pas (encore) avoir trouver de solution » et « avoir prouver qu’on peut arrêter de chercher parce qu’aucune solution n’existe ».
-
@Steph__A__ @JeromeColombain Typiquement P = NP, la factorisation linéaire, ou l’hypothèse de Riemann on trouvera peut-être un jour. Mais les solutions de x²=-1, on a prouvé que ça n’existe pas dans ℝ, pas la peine de cherche. Ou que 6 n’est pas premier. Pas la peine de chercher non plus.
-
@Steph__A__ @JeromeColombain Idem sur les tris par exemple. C’est prouvé qu’on ne pourra jamais faire mieux que n.log(n). Même pas la peine d’aller chercher plus loin, c’est peine perdue, ça n’existe juste pas !
-
@Steph__A__ @JeromeColombain Donc au lieu de chercher des chimères ou des moutons à 5 pattes, si on réfléchissait plutôt à faire des programmes politiques qui inciteraient les 60% d’abstentionistes à se bouger les fesses ? Et à ne pas les prendre pour des jambons une fois l’élection passée ?