Saharon Szela - Saharon Shelah

Saharon Szelah
Saharon Shelah.jpg
Saharon Shelah, Rutgers University , 2005
Urodzić się ( 03.07.1945 )3 lipca 1945 (wiek 76)
Jerozolima , brytyjski mandat dla Palestyny
Narodowość Izrael
Alma Mater Uniwersytet w Tel Awiwie (licencjat)
Uniwersytet Hebrajski (mgr)
Uniwersytet Hebrajski (doktorat)
Znany z Forsowanie właściwe , teoria PCF , lemat Sauer-Szelah , kardynał Szela
Nagrody Nagroda Erdősa (1977)
Nagroda Rothschilda (1982)
Nagroda Karpa (1983)
Nagroda George Pólya (1992)
Nagroda Bolyai (2000)
Nagroda Wolfa (2001)
Nagroda Izraela (1998)
Nagroda EMET (2011)
Nagroda Leroya P. Steele (2013)
Rolf Nagroda Schocka (2018)
Kariera naukowa
Pola Logika matematyczna , teoria modeli , teoria mnogości
Instytucje Hebrew University , Rutgers University
Doradca doktorski Michał O. Rabin
Doktoranci Rami Grossberg

Saharon Shelah ( hebr . שהרן שלח ‎; urodzony 3 lipca 1945 r.) jest izraelskim matematykiem. Jest profesorem matematyki na Uniwersytecie Hebrajskim w Jerozolimie i Uniwersytecie Rutgers w New Jersey .

Biografia

Szelah urodził się w Jerozolimie 3 lipca 1945 roku. Jest synem izraelskiego poety i działacza politycznego Yonatana Ratosha . Doktoryzował się za pracę nad teoriami stabilnymi w 1969 roku na Uniwersytecie Hebrajskim.

Shelah jest żoną Yael i ma troje dzieci. Jego brat, sędzia pokoju Hamman Shelah został zamordowany wraz z żoną i córką przez egipskiego żołnierza w masakrze Ras Burqa w 1985 roku.

Shelah planował zostać naukowcem w szkole podstawowej, ale początkowo pociągała go fizyka i biologia, a nie matematyka. Później odkrył matematyczne piękno w studiowaniu geometrii: Powiedział: „Ale kiedy dotarłem do dziewiątej klasy, zacząłem studiować geometrię i moje oczy otworzyły się na to piękno – system dowodów i twierdzeń opartych na bardzo małej liczbie aksjomatów, które zrobiły na mnie wrażenie i urzekł mnie”. W wieku 15 lat postanowił zostać matematykiem, co potwierdziło przeczytanie książki Abrahama Halevy'ego Fraenkla „ Wprowadzenie do matematyki” .

Uzyskał tytuł licencjata. z Uniwersytetu w Tel Awiwie w 1964, służył w Armii Izraelskich Sił Obronnych w latach 1964-1967 i uzyskał tytuł magistra inżyniera. z Uniwersytetu Hebrajskiego (pod kierunkiem Haima Gaifmana) w 1967 roku. Następnie pracował jako asystent w Instytucie Matematyki Uniwersytetu Hebrajskiego w Jerozolimie, jednocześnie kończąc pracę doktorską. tam pod kierunkiem Michaela Osera Rabina , na studiach stabilnych teorii.

Shelah był wykładowcą na Uniwersytecie Princeton w latach 1969-70, a następnie pracował jako adiunkt na Uniwersytecie Kalifornijskim w Los Angeles w latach 1970-71. Został profesorem na Uniwersytecie Hebrajskim w 1974 roku, stanowisko, które nadal piastuje.

Był profesorem wizytującym na następujących uniwersytetach: University of Wisconsin (1977–78), University of California w Berkeley (1978 i 1982), University of Michigan (1984–85), Simon Fraser University , Burnaby, Kolumbia Brytyjska (1985) i Rutgers University , New Jersey (1985). Od 1986 roku jest wybitnym profesorem wizytującym na Uniwersytecie Rutgers .

Kariera akademicka

Osobista strona internetowa Shelaha, od lipca 2019 r., zawiera 1079 opublikowanych prac matematycznych, a także ponad 100 preprintów i artykułów w przygotowaniu, w tym wspólne prace z 260 współautorami; amerykański Mathematical Society „s bazie MathSciNet wykazy 1063 opublikowanych książek i artykułów w czasopismach z 248 współautorów. Jego główne zainteresowania obejmują logikę matematyczną , w szczególności teorię modeli oraz aksjomatyczną teorię mnogości .

W teorii modeli rozwinął teorię klasyfikacji , która doprowadziła go do rozwiązania problemu Morleya . W teorii mnogości odkrył pojęcie właściwego forsowania , ważnego narzędzia w iterowanych argumentach forsujących . Za pomocą teorii PCF wykazał, że pomimo nierozstrzygalności najbardziej podstawowych pytań arytmetyki kardynalnej (takich jak hipoteza continuum ), nadal istnieją wysoce nietrywialne twierdzenia ZFC dotyczące potęgowania kardynalnego . Shelah skonstruował grupę Jónssona , niepoliczalną grupę, dla której każda właściwa podgrupa jest policzalna. Pokazał, że problem Whiteheada jest niezależny od ZFC . Pierwsze pierwotne rekurencyjne górne ograniczenie podał liczbom van der Waerdena V(C,N) . Rozszerzył twierdzenie Arrowa o niemożliwości na systemy głosowania.

Prace Shelaha wywarły głęboki wpływ na teorię modeli i teorię mnogości. Narzędzia, które opracował dla swojej teorii klasyfikacji, zostały zastosowane do wielu tematów i problemów w teorii modeli i doprowadziły do ​​wielkich postępów w teorii stabilności i jej zastosowaniach w algebrze i geometrii algebraicznej, jak pokazał na przykład Ehud Hrushovski i wielu innych. Teoria klasyfikacji obejmuje głęboką pracę rozwiniętą w wielu dziesiątkach artykułów, aby całkowicie rozwiązać problem widma w klasyfikacji teorii pierwszego rzędu pod względem struktury i liczby modeli nieizomorficznych, co jest ogromnym zadaniem. Następnie rozszerzył swoją pracę daleko poza teorie pierwszego rzędu, na przykład dla abstrakcyjnych klas elementarnych . Praca ta miała również ważne zastosowania w algebrze dzięki pracom Borisa Zilbera .

Nagrody

Wybrane prace

  • Właściwe forsowanie , Springer 1982
  • Właściwe i niewłaściwe forsowanie (II wydanie Właściwego forsowania ), Springer 1998
  • Wokół klasyfikacji teorii modeli , Springer 1986
  • Teoria klasyfikacji i liczba modeli nieizomorficznych , Studies in Logic and the Foundations of Mathematics, 1978, wydanie 2 1990 , Elsevier
  • Teoria klasyfikacji dla abstrakcyjnych klas podstawowych , College Publications 2009.
  • Teoria klasyfikacji abstrakcyjnych klas podstawowych , tom 2, College Publications 2009.
  • Cardinal Arithmetic , Oxford University Press 1994

Zobacz też

Bibliografia

Linki zewnętrzne