Logique Combinatoire
discipline
branche de la logique mathématique
En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks 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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_combinatoire
Lien Wikidata : https://www.wikidata.org/wiki/Q1481571