Voir la notice de l'article provenant de la source Numdam
Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel, (2) la traduction de l'article accompagnée de notes explicatives, (3) une conclusion critique.
It is a matter of presenting the paper of Schönfinkel “Über die Bausteine der mathematischen Logik”, prepared for publication (1924) by H. Behmann, according to a lecture of Schönfinkel in 1920, which founds what will be called “combinatory logic” by Curry. The main purpose of Schönfinkel's work is the general elimination of variables (propositional, predicative, individual), thanks to the use of several “particular functions”. One will find here : (1) an introduction to Schönfinkel's article, (2) the translation of the article accompanied by explanatory notes, (3) a critical conclusion.
@article{MSH_1990__112__5_0,
author = {Sch\"onfinkel, M.},
title = {Sur les \'el\'ements de construction de la logique math\'ematique},
journal = {Math\'ematiques informatique et sciences humaines},
pages = {5--26},
publisher = {Ecole des hautes-\'etudes en sciences sociales},
volume = {112},
year = {1990},
mrnumber = {1096917},
zbl = {0794.03002},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/MSH_1990__112__5_0/}
}
TY - JOUR AU - Schönfinkel, M. TI - Sur les éléments de construction de la logique mathématique JO - Mathématiques informatique et sciences humaines PY - 1990 SP - 5 EP - 26 VL - 112 PB - Ecole des hautes-études en sciences sociales UR - http://geodesic.mathdoc.fr/item/MSH_1990__112__5_0/ LA - fr ID - MSH_1990__112__5_0 ER -
%0 Journal Article %A Schönfinkel, M. %T Sur les éléments de construction de la logique mathématique %J Mathématiques informatique et sciences humaines %D 1990 %P 5-26 %V 112 %I Ecole des hautes-études en sciences sociales %U http://geodesic.mathdoc.fr/item/MSH_1990__112__5_0/ %G fr %F MSH_1990__112__5_0
Schönfinkel, M. Sur les éléments de construction de la logique mathématique. Mathématiques informatique et sciences humaines, Tome 112 (1990), pp. 5-26. http://geodesic.mathdoc.fr/item/MSH_1990__112__5_0/