Logique conbinatoire

370 mots 2 pages
La logique combinatoire est une notation introduite par Moses Schönfinkel et Haskell Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.

Le concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre supérieur ; elle utilise uniquement l'application de fonctions et éventuellement d'autres combinateurs pour définir de nouvelles fonctions d'ordre supérieur. Elle a des liens très forts avec le lambda calcul et avec la logique intuitionniste grâce à la correspondance de Curry-Howard.

La logique combinatoire est fondée sur deux « opérations » de base (on dit aussi deux « combinateurs ») S et K que nous définirons plus loin ; plus précisément nous en définirons le comportement ou l'« intention », car la logique combinatoire est une approche de la logique qui montre plutôt comment marchent les choses que comment les objets peuvent être décrits, on dit alors que c'est une approche intentionnelle de la logique. Si l'on veut définir la fonction[1] que nous appellerons C et qui prend trois paramètres et rend comme résultat le premier appliqué au troisième, le tout étant appliqué au second, on pourra l'écrire :

C ≡ S ((S (K S) K) (S (K S) K) S) (K K) qui, comme on le voit, ne comporte pas de variable. On pourra regretter que l'avantage de ne pas utiliser de variables se paie par la longueur des expressions et une certaine illisibilité. Aujourd'hui la logique combinatoire est surtout utilisée par les logiciens pour répondre positivement à la question « Est-il possible de se passer de variables ? » et par les informaticiens pour compiler les langages fonctionnels[2].

Le parenthésage
Pour

en relation

  • Smoby
    6801 mots | 28 pages
  • Descriptif soncas epreuve e4
    359 mots | 2 pages
  • Photojournalisme
    8022 mots | 33 pages
  • L'accession au logement des jeunes adultes hébergés en fjt
    9834 mots | 40 pages
  • Intégration et exclusion des sdf
    480 mots | 2 pages
  • La redoute
    1612 mots | 7 pages
  • Pduc
    671 mots | 3 pages
  • Disserte
    671 mots | 3 pages
  • Philo methodo
    465 mots | 2 pages
  • Fonctions de fonctions logiques
    524 mots | 3 pages
  • La cour de cassation et le pourvoi en cassation
    2890 mots | 12 pages
  • la verite
    381 mots | 2 pages
  • La loge de compagnon
    1130 mots | 5 pages
  • Rapport de stage entreprise boulanger
    9106 mots | 37 pages
  • Vivre dans un conteneur
    305 mots | 2 pages