LAE25

Logique

Le Retour du Tiers Exclu

Deux approches de l’opérateur Chronos↓
Processus de Markov canonique sur une algèbre de Heyting↓
Produits et quotients d’algèbres de Heyting↓
Observables quantiques intuitionnistes↓
Probabilite et temporalité↓
Probability and temporality↓
Probabilities on a Heyting Algebra↓
Kripke vs Heyting↓
Contextes Formels Constuctivistes↓
Relativité Générale Quantifiée↓
Quantified General Relativity↓
Estimation des Répartitions Discrètes↓
Thèse de Doctorat↓

TED talk pour les Physiciens 73 de l’EPFL