Roger Martin (logicien)
logicien français
Roger Martin ( - [1]) est un logicien français.
Roger Martin
Bibliothécaire École normale supérieure | |
---|---|
- | |
Paul Étard (d) |
Naissance | |
---|---|
Décès | |
Nationalité | |
Formation |
École normale supérieure (à partir de ) |
Activité |
A travaillé pour |
Université Paris-Descartes Bibliothèque de l'École normale supérieure (d) |
---|---|
Directeur de thèse |
Biographie
modifier- 17 mars 1920 : naissance au Puy[2]
- Lycée Henri-IV[3]
- Lycée Buffon
- Concours d'entrée à l'École normale supérieure
- 1943 : diplôme de bibliothécaire
- 1944 : agrégation de philosophie[4]
- 1945-1947 : professeur de philosophie au lycée de Besançon
- 1945-1950 : assistant à la faculté des lettres de Besançon
- Licence de mathématiques
- 1950-1964 : bibliothécaire en chef de l'École normale supérieure
- 1964 : soutenance de sa thèse sous la direction de René Poirier
- 1964-1979 : professeur de logique à la Sorbonne devenue Paris-V
- 1976 : cofondateur de la Société française de logique
- 16 novembre 1979 : mort à Paris
Œuvres
modifierLogique contemporaine et formalisation, 1964, PUF.
Prix
modifierPrix Jean-Cavaillès, 1964.
Références
modifier- « IDRef de Roger Martin, logicien »
- P. Pouthier et P. Petitmengin, « Notice nécrologique de M. Robert Martin », Annuaire des anciens de l'ENS,
- Jan Sebestik, « Roger Martin », Encyclopedia Universalis, (lire en ligne)
- « Les agrégés de l'enseignement secondaire. Répertoire 1809-1960 », sur cnrs.fr (consulté le ).