Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire - Ecole Nationale d'Ingénieurs de Brest Accéder directement au contenu
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⟩
123 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More