MIP*=RE
ça veut dire : l'ensemble des ensembles récursivement énumérables (RE) est égal à l'ensemble des ensembles tels qu'on peut décider de l'appartenance d'un élément à ces ensembles en utilisant un prouveur qui aurait des interactions (le I de MIP) quantiques (le * de MIP*) avec de multiples (le M de MIP) vérificateurs (= Prover, le P de MIP).
ensemble récursivement énumérable : on peut décider en un temps fini dénombrable si un élément appartient au langage (mais pas s'il n'y appartient pas).
Inscription à :
Publier les commentaires (Atom)
Approche géométrique de la conjecture de Goldbach utilisant des carrés écossais dans le plan complexe (points fixes, symétries)
version initiale en français (postée le 20 octobre 2025) lien version en anglais (en) lien Copubliée avec Daniel Diaz sur Hal à cette adre...
-
7/8/2025 : Peut-être... https://denisevellachemla.eu/carres-et-points-fixes.pdf (en) https://denisevellachemla.eu/squares-and-fixed-point... -
lien vers la note du 5.2.25 (au sujet de la bicouche !) on continue le 8.2.25. Et on trouve peut-être un invariant le 10.2.25. -
L’ancien maillage que j’avais mis au jour en 2005 (voir aux pages ici et là ) peut s’obtenir par des calculs de sommes, sans utiliser le si...
Aucun commentaire:
Enregistrer un commentaire