Sur la question du Prix Bordin 1933
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,...
Le présent article porte sur le corpus de figures transmis dans les Livres I-IV du traité des Coniques d’Apollonios de Pergé (autour de 200 avant J.-C). On ne dispose pas de l’édition originale de ces quatre premiers Livres. Les traditions grecque et arabe ont transmis l’édition d’Eutocius d’Ascalon (vie siècle après J.-C.). Cette édition était accompagnée d’un commentaire que seule la tradition grecque nous a transmis. Après avoir rappelé l’usage de la géométrie grecque classique, l’auteur examine...
L’objet de cet article est de soumettre une nouvelle datation pour une lettre de Descartes à Schooten, datée possiblement de septembre 1639 par Adam-Tannery. Dans cette lettre, Descartes répond à des questions en relation avec la préparation par Schooten de l’édition latine de la Géométrie de 1649 dont une concerne sa solution du problème de Pappus. Nous proposons de dater cette lettre de mars-avril 1648 en comparant d’une part des lettres de la correspondance cartésienne et en employant d’autre...