Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire
Résumé
Nous proposons une découverte d'un domaine de la logique qui aura prochainement 100 ans : la logique combinatoire, dans le cadre des fonctions primitives récursives. Notre point de départ est le conte mathématique "Ne vous moquez pas de l'oiseau moqueur" de Raymond Smullyan. Après une brève description de la manière dont les objets de la logique combinatoire représentent les fonctions primitives récursives, nous donnons deux applications de celle-ci : l'algèbre de Boole et l'analyse syntaxique du langage naturel.
Origine | Fichiers produits par l'(les) auteur(s) |
---|