MARTIN ROGER (1920-1979)

Carte mentale

Élargissez votre recherche dans Universalis

Professeur de logique formelle à l'université de Paris-V, Roger Martin fut un des représentants français les plus éminents de cette discipline. Né au Puy le 17 mars 1920, il prépare au lycée Henry-IV, après ses études secondaires au lycée Buffon, le concours d'entrée à l'École normale supérieure. Mais aussitôt après avoir été admis à celle-ci, il doit interrompre ses études pour des raisons de santé. Il prépare ensuite le diplôme de bibliothécaire (1943) et se présente avec succès à l'agrégation de philosophie (1944). Professeur de philosophie au lycée de Besançon (1945-1947) puis assistant à la faculté des lettres de Besançon de 1945 à 1950, il compléta sa formation par une licence de mathématiques. C'est à cette époque que se fixe son intérêt pour la logique mathématique. De 1950 à 1964, date de la soutenance de sa thèse préparée sous la direction de René Poirier, Roger Martin est bibliothécaire en chef de l'École normale supérieure.

En 1964, il est nommé professeur de logique à la Sorbonne ; depuis la réorganisation des universités parisiennes en 1969, jusqu'à sa mort, il enseigne à l'université de Paris-V (U.E.R. de mathématiques, logique formelle et informatique). Il sera également l'un des fondateurs de la Société française de logique (1976).

Roger Martin a été l'un des tout premiers à introduire la logique contemporaine dans l'Université française. Il organise l'enseignement de la logique pour les étudiants en philosophie et en sciences humaines et travaille sans relâche à son Cours de logique. Au programme de son séminaire quatre grands thèmes sont tour à tour traités : Dedekind, la logique de Frege, la théorie des types (Russell, Ramsey, Chwistek), Cantor et la théorie zermelienne des ensembles (Zermelo, Skolem, Fraenkel). L'ouvrage principal de Roger Martin, Logique contemporaine et formalisation (1964), couronné par le prix Jean-Cavaillès, est la première présentation d'ensemble de la logi [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 3 pages


Écrit par :

  • : docteur ès lettres, chargé de recherche au C.N.R.S.

Classification

Pour citer l’article

Jan SEBESTIK, « MARTIN ROGER - (1920-1979) », Encyclopædia Universalis [en ligne], consulté le 02 décembre 2019. URL : http://www.universalis.fr/encyclopedie/roger-martin/