Saharon Shelah
Saharon Shelah | |
|---|---|
 Shelah en 2005 | |
| Nacido | ( 03-07-1945 )3 de julio de 1945 Jerusalén , Mandato británico sobre Palestina (actualmente Israel) |
| Alma máter |
|
| Conocido por | Forzamiento propio , teoría PCF , lema de Sauer-Shelah , cardinal de Shelah |
| Premios |
|
| Carrera científica | |
| Campos | Lógica matemática , teoría de modelos , teoría de conjuntos |
| Instituciones | Universidad Hebrea , Universidad Rutgers |
| Asesor de doctorado | Michael O. Rabin |
| Estudiantes de doctorado | Rami Grossberg [1] |
Saharon Shelah ( שַׂהֲרֹן שֶׁלַח Śahăron Šelaḥ , pronunciación hebrea: [sähäʁo̞n ʃe̞läχ] ; nacido el 3 de julio de 1945) es un matemático israelí. Es profesor de matemáticas en la Universidad Hebrea de Jerusalén y en la Universidad Rutgers en Nueva Jersey .
Biografía
Shelah nació en Jerusalén el 3 de julio de 1945. Es hijo del poeta y activista político israelí Yonatan Ratosh . [2] Recibió su doctorado por su trabajo sobre teorías estables en 1969 de la Universidad Hebrea. [1]
Shelah está casado con Yael, [2] y tiene tres hijos. [3] Su hermano, el magistrado juez Hamman Shelah, fue asesinado junto con su esposa e hija por un soldado egipcio en la masacre de Ras Burqa en 1985.
Shelah planeó ser científico mientras estaba en la escuela primaria, pero inicialmente se sintió atraído por la física y la biología, no por las matemáticas. [4] Más tarde encontró la belleza matemática al estudiar geometría: dijo: "Pero cuando llegué al noveno grado comencé a estudiar geometría y mis ojos se abrieron a esa belleza: un sistema de demostración y teoremas basados en un número muy pequeño de axiomas que me impresionaron y me cautivaron". A la edad de 15 años, decidió convertirse en matemático, una elección que se consolidó después de leer el libro de Abraham Halevy Fraenkel Introducción a las matemáticas . [4]
Recibió una licenciatura de la Universidad de Tel Aviv en 1964, sirvió en el Ejército de las Fuerzas de Defensa de Israel entre 1964 y 1967, y obtuvo una maestría de la Universidad Hebrea (bajo la dirección de Haim Gaifman) en 1967. [5] Luego trabajó como asistente de cátedra en el Instituto de Matemáticas de la Universidad Hebrea de Jerusalén mientras completaba un doctorado allí bajo la supervisión de Michael Oser Rabin , [5] sobre un estudio de teorías estables.
Shelah fue profesor en la Universidad de Princeton durante 1969-70, y luego trabajó como profesor asistente en la Universidad de California en Los Ángeles durante 1970-71. [5] Se convirtió en profesor en la Universidad Hebrea en 1974, cargo que todavía mantiene. [5]
Ha sido profesor visitante en las siguientes universidades: [5] la Universidad de Wisconsin (1977-78), la Universidad de California, Berkeley (1978 y 1982), la Universidad de Michigan (1984-85), la Universidad Simon Fraser , Burnaby, Columbia Británica (1985), y la Universidad Rutgers , Nueva Jersey (1985). Ha sido profesor visitante distinguido en la Universidad Rutgers desde 1986. [5]
Carrera académica
Los principales intereses de Shelah radican en la lógica matemática , en particular en la teoría de modelos y en la teoría de conjuntos axiomáticos . [6]
En teoría de modelos , desarrolló la teoría de clasificación , que lo llevó a una solución del problema de Morley . En teoría de conjuntos , descubrió la noción de forzamiento propio , una herramienta importante en los argumentos de forzamiento iterado . Con la teoría PCF , demostró que a pesar de la indecidibilidad de las cuestiones más básicas de la aritmética cardinal (como la hipótesis del continuo ), todavía hay teoremas ZFC altamente no triviales sobre la exponenciación cardinal . Shelah construyó un grupo de Jónsson, un grupo incontable para el cual cada subgrupo propio es contable. Demostró que el problema de Whitehead es independiente de ZFC . Dio el primer límite superior recursivo primitivo a los números de van der Waerden V(C,N) . [7] Extendió el teorema de imposibilidad de Arrow sobre los sistemas de votación. [8]
El trabajo de Shelah ha tenido un profundo impacto en la teoría de modelos y la teoría de conjuntos. Las herramientas que desarrolló para su teoría de clasificación se han aplicado a una amplia variedad de temas y problemas en la teoría de modelos y han llevado a grandes avances en la teoría de la estabilidad y sus usos en álgebra y geometría algebraica, como lo demostraron, por ejemplo, Ehud Hrushovski y muchos otros. La teoría de la clasificación implica un trabajo profundo desarrollado en muchas docenas de artículos para resolver por completo el problema del espectro en la clasificación de teorías de primer orden en términos de estructura y número de modelos no isomorfos, un gran tour de force. Después de eso, ha extendido el trabajo mucho más allá de las teorías de primer orden, por ejemplo para clases elementales abstractas . Este trabajo también ha tenido importantes aplicaciones en el álgebra por los trabajos de Boris Zilber . [9]
Premios
- Tres veces ponente en el Congreso Internacional de Matemáticos (1974 invitado, 1983 plenario, 1986 plenario)
- El primer ganador del Premio Erdős , en 1977 [10]
- El Premio Karp de la Asociación de Lógica Simbólica en 1983 [11]
- Premio Israel de matemáticas en 1998 [12]
- El Premio Bolyai en 2000 [13]
- El Premio Wolf de Matemáticas en 2001 [14]
- Premio EMET de Arte, Ciencia y Cultura 2011 [15]
- Premio Leroy P. Steele por su contribución fundamental a la investigación en 2013 [16]
- Miembro honorario de la Academia Húngara de Ciencias , en 2013 [17]
- Subvención avanzada del Consejo Europeo de Investigación (2013) [18]
- Medalla Hausdorff de la Sociedad Europea de Teoría de Conjuntos, junto con Maryanthe Malliaris , 2017 [19]
- Premio Schock de Lógica y Filosofía de la Real Academia Sueca de Ciencias , 2018 [20]
- Doctorado honorario de la Technische Universität Wien , 2019 [21]
Obras seleccionadas
- Forzado adecuado , Springer 1982 ISBN 978-0-387-11593-1
- Forzado adecuado e inadecuado (2.ª edición de Forzado adecuado ), Springer 1998 ISBN 978-1107168367
- En torno a la teoría de la clasificación de modelos , Springer 1986 ISBN 978-3540164487
- Teoría de la clasificación y el número de modelos no isomorfos , Estudios en lógica y fundamentos de las matemáticas, 1978, [22] 2.ª edición 1990, Elsevier ISBN 978-0-444-70260-9
- Teoría de la clasificación para clases elementales abstractas , Publicaciones universitarias 2009 ISBN 9781904987710
- Teoría de la clasificación para clases elementales abstractas , volumen 2, College Publications 2009 ISBN 978-1-904987-72-7
- Aritmética cardinal , Oxford University Press 1994 ISBN 0-19-853785-9 [23]
Véase también
Referencias
- ^ ab Saharon Shelah en el Proyecto de Genealogía Matemática
- ^ ab (en hebreo) Shelah, Saharon (5 de abril de 2001). "זיכרונותיו של בן" [Memorias de un hijo]. Haaretz . Consultado el 31 de agosto de 2014 .
כשעמדתי להציג לפני חברתי יעל (עתה רעייתי)
את בני משפחתי...הפרופ' שהרן לח מן האוניברסיטה העברית בירושלים, בנו של יונתן רטוש... [Cuando estaba a punto de presentarle a mi amiga Yael (ahora mi esposa), mi familia
. .. Profesor Saharon Shelah de la Universidad Hebrea de Jerusalén, hijo de Yonathan Ratosh...]
- ^ (en húngaro) Réka, Szász (marzo de 2001). "Harc a matematikával és a titkárnőkkel" [Lucha con las matemáticas y las secretarias]. Magyar Tudományos (en húngaro) . Consultado el 31 de agosto de 2014 .
Húngaro: ¿A gyerekei mivel foglalkoznak? A nagyobbik fiam zeneelméletet tanul, a lányom történelmet, a kisebbik fiam pedig biológiát. (¿Qué están haciendo sus hijos? Mi hijo mayor está aprendiendo teoría musical, mi hija historia, mi hijo menor biología).
- ^ ab Moshe Klein. "Entrevista con Saharon Shelah" (PDF) . Gan Adam . Consultado el 5 de agosto de 2014 .
- ^ abcdef "Saharon Shelah". Facultad de Matemáticas y Estadística, Universidad de St Andrews, Escocia . Consultado el 5 de agosto de 2014 .
- ^ Väänänen, Jouko (20 de abril de 2020). "Una visión general de las contribuciones de Saharon Shelah a la lógica matemática, en particular a la teoría de modelos". Theoria . 87 (2): 349–360. doi : 10.1111/theo.12238 . eISSN 1755-2567. ISSN 0040-5825. S2CID 216119512.
- ^ Shelah, Saharon (1988). "Límites recursivos primitivos para números de van der Waerden". Revista de la Sociedad Matemática Americana . 1 (3): 683–697. doi : 10.2307/1990952 . JSTOR 1990952. MR 0929498.
- ^ Shelah, Saharon (2001). "En la propiedad Arrow". arXiv : math/0112213 .
- ^ Zilber, Boris (octubre de 2016). "Teoría de modelos de subvariedades especiales y conjeturas de tipo Schanuel". Anales de lógica pura y aplicada . 167 (10): 1000–1028. arXiv : 1501.03301 . doi : 10.1016/j.apal.2015.02.002 . ISSN 0168-0072. S2CID 33799837.
- ^ "Sitio web del Premio Erdős". IMU.org.il. Archivado desde el original el 17 de agosto de 2013.
- ^ "Ganadores del premio Karp" . Consultado el 28 de septiembre de 2019 .
- ^ "Sitio oficial del Premio Israel – Ganadores en 1998 (en hebreo)". CMS.education.gov.il . Consultado el 31 de agosto de 2014 .
- ^ "Elogio de Shelah con motivo de la obtención del Premio Bolyai (en húngaro)" (PDF) . Renyi.hu . Consultado el 31 de agosto de 2014 .
- ^ "Premio Fundación Wolf en Matemáticas". Fundación Wolf . 2008. Archivado desde el original el 21 de septiembre de 2017. Consultado el 31 de agosto de 2014 .
- ^ «Premio EMET». 2011. Consultado el 31 de agosto de 2014 .
- ^ "Premios y distinciones de enero de 2013" (PDF) . American Mathematical Society y Mathematical Association of America. 10 de enero de 2013. p. 49 . Consultado el 31 de agosto de 2014 .
- ^ "Nuevos miembros de la Academia Húngara de Ciencias". Archivado desde el original el 3 de septiembre de 2014 . Consultado el 31 de agosto de 2014 .
- ^ "ERC Grants 2013" (PDF) . Consejo Europeo de Investigación. 2013. Consultado el 31 de agosto de 2014 .
- ^ "Medalla Hausdorff 2017". 5 de julio de 2017. Consultado el 28 de septiembre de 2019 .
- ^ «Premio Schock 2018» . Consultado el 28 de septiembre de 2019 .
- ^ "Ehrendoktorat der TU Wien für Saharon Shelah". 2019 . Consultado el 2 de febrero de 2020 .
- ^ Baldwin, John T. (1981). "Revisión: teoría de la clasificación y el número de modelos no isomorfos por Saharon Shelah" (PDF) . Bull. Amer. Math. Soc. (NS) . 4 (2): 222–229. doi : 10.1090/s0273-0979-1981-14891-6 .
- ^ Baumgartner, James E. (1996). "Reseña: Aritmética cardinal de Saharon Shelah" (PDF) . Bull. Amer. Math. Soc. (NS) . 33 (3): 409–411. doi : 10.1090/s0273-0979-96-00673-8 .
Enlaces externos
- Archivo de artículos matemáticos de Shelah, shelah.logic.at
- Baldwin, John T. (2008). "Clases elementales abstractas: algunas respuestas, más preguntas". En Andretta, Alessandro; Kearnes, Keith; Zambella, Domenico (eds.). Coloquio de lógica 2004. Chicago, IL: Cambridge: Cambridge University Press. págs. 1–17. ISBN 978-0-521-88424-2.OCLC 177021884 .
