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)...
Salvato in:
| Pubblicato in: | URI:https://journals.openedition.org/msh, |
|---|---|
| Autore principale: | |
| Natura: | Article ou chapitre numérique |
| Lingua: | Français |
| Pubblicazione: |
Mathématiques et sciences humaines
2006
|
| Soggetti: | |
| Accesso online: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |