21 lines
1.2 KiB
Markdown
21 lines
1.2 KiB
Markdown
---
|
||
zotero-key: UU57HLFM
|
||
zt-attachments:
|
||
- "566"
|
||
citekey: LogiqueCombinatoire2023
|
||
aliases:
|
||
- Logique combinatoire
|
||
up: "[[zotero literature notes]]"
|
||
link: "[attachment](file:///Users/oscarplaisant/Zotero/storage/LFVBZV8U/Logique_combinatoire.html)"
|
||
zotero-link: "[Zotero](zotero://select/library/items/UU57HLFM)"
|
||
tags:
|
||
- "#s/PKM"
|
||
- "#zotero"
|
||
- "#t/source"
|
||
---
|
||
|
||
|
||
> [!zotero]+ <span style="color: #2ea8e5; --link-external-color: #2ea8e5;">[Logique combinatoire](zotero://select/library/items/UU57HLFM) - [Page ](zotero://open-pdf/library/items/LFVBZV8U?annotation=BYYVQ2CG)</span>
|
||
> 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
|