Lectures de Jacques Proust

Lectures on Jacques Herbrand as a Logician

We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand’s False Lemma by Gödel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its conseq...

Proust, Kolb, Kolb-Proust : emboîtement d''écritures autour de l''écriture

RÉSUMÉ. La bibliothèque de l’Université d’Illinois développe depuis 1994 un outil hypertexte qui rassemble des sources secondaires sur la vie littéraire, artistique et mondaine en France pour la période 1870-1925, à partir des 40 000 fiches de recherche constituées par le professeur Kolb pour son édition de la correspondance de Marcel Proust. L’insertion de métadonnées, de liens hypertextes et ...

Lectures on Galen's De sectis

W. J. SHEILS (editor), The Church and healing, (Studies in Church History, No. 19), Oxford, Basil Blackwell for the Ecclesiastical History Society, 1982, 8vo, pp. xxiv, 440, £19.50. This collection of essays represents a thoughtful, stimulating, and generally successful cooperative attempt by medical and ecclesiastical historians to study an important topic, the relationship between the Christi...

l'étude de la question de focalisation dans un amour de swann de marcel proust

la présente recherche, en s’appuyant sur les concepts narratologiques de gérard genette, cherche à étudier la question du point de vue dans un amour de swann de marcel proust. l’analyse minutieuse de cette question s’avère importante pour une double raison: 1. l’étude formelle de l’œuvre monumentale qu’est à la recherche du temps perdu dépasse sans aucun doute le statut d’une simple pratique de...

The chaste erotics of Marie d'Oignies and Jacques de Vitry.