1.2 KiB
1.2 KiB
zotero-key, zt-attachments, citekey, aliases
| zotero-key | zt-attachments | citekey | aliases | ||
|---|---|---|---|---|---|
| UU57HLFM |
|
LogiqueCombinatoire2023 |
|
up:: zotero literature notes link:: Zotero attachment #s/PKM #zotero #t/source
[!zotero]+ 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. ^BYYVQ2CGaLFVBZV8U