Herbert Enderton
matemático estadounidense
Herbert Bruce Enderton (15 de abril de 1936 – 20 de octubre de 2010[1])[2] fue un matemático estadounidense. Fue Profesor Emérito de Matemáticas en UCLA y miembro de la Facultad de Matemáticas, Lógica y Metodología de la Ciencia en la Universidad de California en Berkeley.
Herbert Enderton | ||
---|---|---|
Información personal | ||
Nacimiento | 15 de abril de 1936 | |
Fallecimiento |
20 de octubre de 2010 Santa Mónica (Estados Unidos) | (74 años)|
Causa de muerte | Enfermedad | |
Nacionalidad | Estadounidense | |
Educación | ||
Educado en | Universidad Harvard | |
Supervisor doctoral | Hilary Putnam | |
Información profesional | ||
Ocupación | Matemático, filósofo y profesor universitario | |
Área | Lógica matemática y teoría de conjuntos | |
Empleador | ||
Consiguió el Doctorado en la Universidad de Harvard en 1962.[3] Fue miembro de la American Mathematical Society from 1961 until his death.[2]
Enderton también contribuyó a la reoría de la computabilidad, la teoría de la definabilidad, modelos de análisis, complejidad computacional e historia de la lógica.[4]
De 1980 a 2002 fue coordinador de la sección de revisiones del Journal of Symbolic Logic de la Association for Symbolic Logic.[5]
Publicaciones
editar- Herbert B. Enderton (1977). Elements of Set Theory. Academic Press. ISBN 978-0-12-238440-0.
- Herbert B. Enderton (1972). A Mathematical Introduction to Logic. Academic Press. ISBN 978-0-12-238452-3. (requiere registro).
- Herbert B. Enderton (2011). Computability Theory: An Introduction to Recursion Theory. Academic Press. ISBN 978-0-12-384958-8.
Enlaces externos
editarReferencias
editar- ↑ «Obituary». Los Angeles Times. 31 de octubre de 2010. Consultado el 9 de febrero de 2011.
- ↑ a b «Deaths of AMS Members». Notices of the American Mathematical Society 58 (AMS). Enero de 2011.
- ↑ «UCLA Department of Mathematics». UCLA. Consultado el 9 de febrero de 2011.
- ↑ Richard Zach (28 de octubre de 2010). «Herbert B. Enderton, 1936-2010». University of Calgary.
- ↑ «Finding Aid for the Herbert B. Enderton papers, circa 1964-2009». Association for Symbolic Logic. Consultado el 7 de mayo de 2023.