Fødsel | 30. oktober 1948 |
---|---|
Nasjonalitet | amerikansk |
Opplæring | University of California i Berkeley |
Aktiviteter | Matematiker , filosof , universitetsprofessor |
Jobbet for | University of California Los Angeles , University of California Berkeley |
---|---|
Felt | Settteori |
Avhandlingsledere | John West Addison, Jr. ( d ) , Stephen G. Simpson ( en ) |
Utmerkelser |
Carol-Karp-prisen (1988) Gödel-foreleser (2012) Hausdorff-medalje (2015) |
John Robert Steel (født den30. oktober 1948) er en amerikansk matematiker med hovedfag i mengdeori ved University of California i Berkeley (tidligere UCLA ).
Han ga mange bidrag til teorien om interne modeller og determinisme. Med Donald Martin beviste han den prosjektive determinismen (in) , forutsatt eksistensen av kardinaler som var store nok . Han fikk sin doktorgrad i Logic and Methodology of Science, Berkeley, i 1977, under felles veiledning av John West Addison, Jr. og Stephen G. Simpson (in) , med en avhandling med tittelen Determinateness and Subsystems of Analysis .
I 1988 mottok han Carol Karp- prisen tildelt av Association for Symbolic Logic , sammen med W. Hugh Woodin og Donald Martin .
I 1990 var han gjestetaler ved den internasjonale kongressen for matematikere i Kyoto, med et foredrag med tittelen Iterasjonstrær .
Han er Gödel-foreleser i 2012 med en konferanse med tittelen The hereditarily ordinal definable sets in models of determinacy .
I 2015 tildelte European Society for Set Theory ham, sammen med Ronald Jensen , Hausdorff-medaljen for deres artikkel “K uten det målbare” .