Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02009937
Contributor : Bibliothèque Télécom Bretagne Connect in order to contact the contributor
Submitted on : Friday, September 23, 2022 - 8:22:00 AM
Last modification on : Tuesday, September 27, 2022 - 8:13:32 AM

File

Quadrature__l_oiseau_moqueur.p...
Files produced by the author(s)

Identifiers

  • 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, 2019, 113, pp.22--34. ⟨hal-02009937⟩

Share

Metrics

Record views

104

Files downloads

0