Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire

Yannis Haralambous 1, 2
1 Lab-STICC_IMTA_CID_DECIDE
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02009937
Contributeur : Bibliothèque Télécom Bretagne <>
Soumis le : mercredi 6 février 2019 - 16:45:37
Dernière modification le : vendredi 8 février 2019 - 01:24:07

Identifiants

  • HAL Id : hal-02009937, version 1

Citation

Yannis Haralambous. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire. Quadrature, EDP Sciences, 2019. 〈hal-02009937〉

Partager

Métriques

Consultations de la notice

7