Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire - Archive ouverte HAL
Article Dans Une Revue Quadrature Année : 2019

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.
Fichier principal
Vignette du fichier
Quadrature__l_oiseau_moqueur.pdf (2.42 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02009937 , version 1 (23-09-2022)

Identifiants

  • HAL Id : hal-02009937 , version 1

Citer

Yannis Haralambous. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire. Quadrature, 2019, 113, pp.22--34. ⟨hal-02009937⟩
130 Consultations
47 Téléchargements

Partager

More