1.1 KiB
1.1 KiB
zotero-key, zt-attachments, citekey
| zotero-key | zt-attachments | citekey | |
|---|---|---|---|
| 9RYAKXF2g5383243 |
|
LogiqueCombinatoire2023 |
up:: zotero literature notes link:: Zotero attachment #pkm #zotero
[!cite]+ Logique combinatoire - Page En logique mathématique, la logique combinatoire est une théorie logique[1] introduite par Moses Schönfinkel[2] en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks Curry[3] 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. ^6UG45AG4a5ZRIGAB3g5383243