• Dlocal projectif Kᵖ(a’) (C-036)
  • Fcandidat (a) falsifié (C-037)
  • Ocompatibilité de tour ¬FUN, trace ¬TRACE, Euler ¬EULER, archimédien ¬ARCHIM
Ce que cela montre

un programme résiduel minimal en 5 étapes, dont 4 ouvertes.

Ce que cela ne prouve pas

RH (tant que ¬FUN/¬TRACE/¬EULER/¬ARCHIM ne sont pas levés).

Risque de mauvaise lecture : croire qu’un projecteur local suffit à un pont global.

Régime · démonstratif

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.