| Titre : |
Intertraduction entre le calcul et la logique combinatoire |
| Type de document : |
texte imprimé |
| Auteurs : |
Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse |
| Editeur : |
Université Paris VII |
| Année de publication : |
1983 |
| Importance : |
134 f. |
| Présentation : |
ill. |
| Format : |
27 cm. |
| Note générale : |
Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983
Bibliogr. [1] f |
| Langues : |
Français (fre) |
| Mots-clés : |
Logique combinatoire |
| Index. décimale : |
D001383 |
| Résumé : |
A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs.
Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible.
Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application.
Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles).
Cette dernière notion de fonction manque à la théorie de schönfinkel. |
Intertraduction entre le calcul et la logique combinatoire [texte imprimé] / Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse . - Université Paris VII, 1983 . - 134 f. : ill. ; 27 cm. Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983
Bibliogr. [1] f Langues : Français ( fre)
| Mots-clés : |
Logique combinatoire |
| Index. décimale : |
D001383 |
| Résumé : |
A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs.
Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible.
Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application.
Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles).
Cette dernière notion de fonction manque à la théorie de schönfinkel. |
|
D000100 
Ajouter le résultat dans votre panier
Visionner les documents numériques
Faire une suggestion Affiner la rechercheIntertraduction entre le calcul et la logique combinatoire (1983)
