memo

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 dr 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émonbrable si un élément appartient au langage (mais pas s'il n'y appartient pas).