Explore la génération de nombres quantiques aléatoires, en discutant des défis et des implémentations de générer une bonne randomité à l'aide de dispositifs quantiques.
Déplacez-vous dans la causalité dans un monde indéterministe, défiant les points de vue traditionnels et explorant les implications de la physique quantique sur le hasard et la réalité.
Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Déplacez-vous dans la délégation classique du calcul quantique, en discutant des défis et des questions ouvertes dans la vérification des appareils quantiques.
