Herbert Enderton
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 (74 años) Santa Mónica (Estados Unidos) | |
Causa de muerte | Enfermedad | |
Nacionalidad | Estadounidense | |
Educación | ||
Educado en | Universidad de 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
- 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
Referencias
- «Obituary». Los Angeles Times. 31 de octubre de 2010. Consultado el 9 de febrero de 2011.
- «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.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.