Documents disponibles écrits par cet auteur

Intertraduction entre le calcul et la logique combinatoire / Mohamed Mezghiche 

Public ISBD 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 . - [S.l.] : 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.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D001383	D001383	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

MEZGHICHE.Mohamed.pdf URL