Il semblerait que si on raisonne en logique intuitionniste il existe x tel que x n'existe pas ne peut être affirmé que si on est en mesure de construire x. Il s’avère en fait que cela revient à refuser le principe du tiers-exclu.
Exemple en MQ
PatrickAvant d’être mesuré, le Qbit est-il dans l’état |0> ou |1> ? réponse : ni l’un, ni l’autre. Autrement dit, l’idée que la valeur de vérité d’une propriété est toujours définie (autrement dit le principe du tiers-exclu) n’est pas valable dans le monde quantique.
-----