John R. Steel
mathématicien américain De Wikipédia, l'encyclopédie libre
mathématicien américain De Wikipédia, l'encyclopédie libre
John Robert Steel (né le ) est un mathématicien américain, spécialisé en théorie des ensembles à l'université de Californie à Berkeley (anciennement à l'UCLA).
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Directeurs de thèse | |
Distinctions |
Il a apporté de nombreuses contributions à la théorie des modèles internes et du déterminisme. Avec Donald Martin, il a prouvé le déterminisme projectif (en), en supposant l'existence de cardinaux suffisamment grands. Il a obtenu son Ph. D. en Logique et Méthodologie des Sciences, à Berkeley, en 1977, sous la supervision conjointe de John West Addison, Jr et Stephen G. Simpson (en)[1], avec une thèse intitulée Determinateness and Subsystems of Analysis.
Il reçoit en 1988 le prix Carol Karp décerné par l'Association for Symbolic Logic, conjointement avec W. Hugh Woodin et Donald Martin[2].
En 1990 il est conférencier invité au Congrès international des mathématiciens à Kyoto, avec une conférence intitulée Iteration trees[3].
Il est Gödel Lecturer en 2012 avec une conférence intitulée The hereditarily ordinal definable sets in models of determinacy[4].
En 2015, la Société européenne de théorie des ensembles lui a décerné conjointement avec Ronald Jensen, la médaille Hausdorff pour leur article « K without the measurable »[5].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.