Articles tagués "logique":
La méthode des arbres en Ocaml
La méthode des arbres1 permet de démontrer qu'une formule est ou non un théorème de la logique.
(...)Logique
C'est bizarre de faire de la logique. Bon voilà, je suis un peu logicien. Par goût (j'ai fait des mathématiques au lycée à la fin des années 70, et je suis un pur produit des maths modernes1. À l'université j'ai eu la chance de me trouver à Paris I lorsque Jacques Bouveresse y enseignait. Nous allions, avec mon ami Joseph Vidal-Rosset2, écouter Jules Vuillemin au Collège de France. Joseph a fait sa thèse sur la philosophie des mathématiques et les systèmes philosophiques3. J'ai eu la chance, sur le tard, de faire un cours d'initiation à la logique formelle à l'Université de Poitiers. Sur ce blog je vais mettre mes cours de cette année là, des liens vers des outils en lignes (prouveurs, packages latex exotiques) etc.
(...)