La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Is combinatory logic a logic of any objects whatever or a logic of operators?(1) The philosophical commitments of combinatory logic are explained from several principles, not always explicit in literature (pansemy, complete formalisation, ontological neutrality, reversibility, free application).(2)...
Sábháilte in:
| Foilsithe in: | URI:https://journals.openedition.org/msh, |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Article ou chapitre numérique |
| Teanga: | Français |
| Foilsithe / Cruthaithe: |
Mathématiques et sciences humaines
2006
|
| Ábhair: | |
| Rochtain ar líne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |