Ronald Jensen
Pour les articles homonymes, voir Jensen.
| Naissance | 1er avril 1936 Charlottesville |
|---|---|
| Nationalité | Américain |
| Formation | Université rhénane Frédéric-Guillaume de Bonn American University |
| Activités | Mathématicien, philosophe, professeur d'université, Gödel Lecturer |
| A travaillé pour | Université rhénane Frédéric-Guillaume de Bonn, université de Fribourg-en-Brisgau, université Humboldt de Berlin |
|---|---|
| Domaine | Théorie des ensembles |
| Directeur de thèse | Gisbert Hasenjaeger |
| Distinctions | Gödel Lecturer (1990) Prix Leroy P. Steele (2003) Médaille Hausdorff (2015) |
Ronald Björn Jensen (né le 1er avril 1936) est un mathématicien américain actif en Europe, principalement connu pour son travail en logique mathématique et en théorie des ensembles.
Sommaire
1 Carrière
2 Prix et distinctions
3 Travaux
4 Publications
5 Références
6 Liens externes
Carrière |
Jensen obtient son BA en économie à l'American University en 1959, et un Ph. D. en mathématiques à l'université de Bonn en 1964. Son directeur de thèse était Gisbert Hasenjaeger. Jensen enseigne à l'université Rockefeller, de 1969 à 71, et l'Université de Californie à Berkeley, de 1971 à 73. Le reste de sa carrière universitaire est passé en Europe, à l'université de Bonn, l'université d'Oslo, l'Université de Fribourg-en-Brisgau, l'université d'Oxford, et l'université Humboldt de Berlin, jusqu'à prendre sa retraite en 2001. Il réside actuellement à Berlin.
Prix et distinctions |
En 1990, il est Gödel Lecturer, avec une conférence intitulée Inner Models and Large Cardinals[1].
En 2001 il est conférencier Tarski[2]. En 2003, il reçoit le Prix Leroy P. Steele pour une « contribution majeure dans la recherche »[3].
En 2015, la Société européenne de théorie des ensembles lui a décerné conjointement avec John R. Steel la médaille Hausdorff pour leur article « K without the measurable »[4].
Travaux |
Les résultats les plus connus de Jensen sont les suivants :
- Axiomatique NFU de la théorie des ensembles, une variante des New Foundations (NF) où l'extensionnalité est affaiblie afin de permettre plusieurs ensembles sans élément, et la preuve de la cohérence de la SNC par rapport aux Axiomes de Peano ;
- La théorie de la structure fine de l'univers constructible L. Ce travail lui permet de recevoir en 2003, le Prix Leroy P. Steele de l'American Mathematical Society pour son article de 1972 intitulé « The fine structure of the constructible hierarchy » ;
- Les définitions et les preuves de divers principes en théorie combinatoire des ensembles (en) dans L, dont ceux du diamant (en) ♢{displaystyle diamondsuit }
, du carré (en), et du marais (en) ;
- le théorème de Jensen (en) pour L ;
- Théorie générale des modèles de base (en) et la construction du modèle de base Dodd–Jensen ;
- La cohérence de CH plus Problème de Souslin[Quoi ?] ;
- La technique de codage de l'univers par un réel ;
- En collaboration avec Carol Karp, il définit les primitive recursive set function (en)[5].
Publications |
- Ronald Jensen, 1969, « On the Consistency of a Slight(?) Modification of Quine's NF », Synthese 19: 250-63. With discussion by Quine.
Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhängigkeit der Kontinuumshypothese und des Auswahlaxioms. (Lecture Notes in Mathematics; vol 37). Springer, Berlin 1967.- avec Aaron Beller et Philip Welch : Coding the Universe. Cambridge University Press, Cambridge 1982, (ISBN 0-521-28040-0).
- avec Anthony J. Dodd: The core model, Annals of Mathematical Logic, vol 20, 1981, pp 43-75.
- avec Anthony J. Dodd: The covering lemma for K, Annals of Mathematical Logic, vol 22, 1982, pp 1-30.
- avec John R. Steel: K without the measurable, The Journal of Symbolic Logic, vol 78, Issue 3, 2013, pp 708-734.
Références |
(en) « Gödel Lecturers », sur aslonline.org
(en) « List of Alfred Tarski Lectures », sur logic.berkeley.edu
(en) « Browse Prizes and Awards », sur ams.org
Les congrès et les lauréats
(en) Ronald B. Jensen et Carol Karp, Axiomatic Set Theory : Primitive recursive set functions, vol. XIII, Part I, Amer. Math. Soc.,, 1971(ISBN 978-0-821-80245-8 et 0-821-80245-3, présentation en ligne), p. 143–176
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ronald Jensen » (voir la liste des auteurs).
Liens externes |
Notices d'autorité : Fichier d’autorité international virtuel • International Standard Name Identifier • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque royale des Pays-Bas • WorldCat
page de Jensen à l'Université Humboldt de Berlin.
De brèves biographies des anciens présidents de la Société Kurt Gödel.
Portail des mathématiques
