Travaux
Informatique, Mathématiques, Logique
Logique et mécanique quantique : ceci explique cela ? (2009)
(Écrit avec Anne-Sophie de Suzzoni)
Mon mémoire de M2, dans le cadre du master LMFI. On y étudie les espaces cohérents quantiques : un modèle « quantique » de la logique linéaire.
(PDF -- transparents de la présentation du M2 -- transparents de la présentation à PPS, plus avancé)
Incomplétude mathématique des formalismes (2008)
(Écrit avec Roland Casalis)
Mon mémoire de fin de première année à l'ENS. Au programme : un exemple concret de « théorème-vrai-mais-qu'on-ne-peut-pas-démontrer », la normalisation forte du système F.
(PDF)