préambule

représentations

algorithmes quantiques

information quantique

perspectives

3D et réalité augmentée
logique des propositions
prochaines étapes
merci à...

logique des propositions



Le calcul quantique présenté jusqu'à présent s'applique à des fonctions mathématiques.
Mais l'informatique est intrinsèquement lié à la logique des propositions dont les prémisses ont été donnés par Boole en 1854.
Pouvons-nous également développer des outils de manipulation de propositions dont la valeur de vérité serait représentée par des états superposés de qubits ?.

La réponse à cette question nécessite un site à part entière, auquel vous pouvez accéder en cliquant sur l'image ci-contre.

Pour l'instant, il ne s'agit que de pistes de réflexion...