Book

Depuis cinquante ans, les barrières de Razborov-Rudich, Baker-Gill-Solovay et les constructions par oracles ont convaincu que P et NP sont indistinguables dans les systèmes usuels. Ce n’était qu’une illusion d’optique formelle. Cette fiction à thèse est relative à ce qui pourrait s'apparenter à une sorte de roman théorème. Il est à la fois didactique, littéraire, tout en étant mathématique. Il relate l'histoire d'un littéraire, mathématicien, qui  établit que P vs NP dans l'arithmétique bornée ZN. Le titre l’affirme : à l’origine de ZF, P n’est pas NP. Ce n’est pas un postulat à croire. C’est un résultat à vérifier.