Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l’oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique.

Résumé

Cet article propose une découverte d’un domaine de la logique qui aura prochainement cent ans : la logique combinatoire, dans le cadre des fonctions primitives récursives. Le point de départ est le conte mathématique « Ne vous moquez pas de l’oiseau moqueur » de Raymond Smullyan. Apres une brève description de la manière dont les objets de la logique combinatoire représentent les fonctions primitives récursives, l’auteur donne deux applications de celle-ci : l’algèbre de Boole et l’analyse syntaxique du langage naturel.

Notes

Quadrature est un magazine de mathématiques pures et appliquées. Il s’adresse aux enseignants, étudiants, ingénieurs et amateurs de mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l’édition électronique : 1760-4826).

Une version texte intégral est en téléchargement sur le site https://hal.science/hal-02009937

Données de publication

Éditeur Quadrature Revigny-sur-Ornain , 2019 Format A4, p. 22-34 Index Bibliogr. p. 34-34
ISSN 1142-2785

Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20

Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier