Robert Goldblatt - Robert Goldblatt
Robert Ian Goldblatt (nacido en 1949) es un lógico matemático que es profesor emérito en la Escuela de Matemáticas y Estadística de la Universidad de Victoria , Wellington , Nueva Zelanda. Sus libros más populares son Logics of Time and Computation y Topoi: the Categorial Analysis of Logic . También ha escrito un libro de texto a nivel de posgrado sobre números hiperrealistas que es una introducción al análisis no estándar .
Ha sido editor coordinador de The Journal of Symbolic Logic y editor gerente de Studia Logica . Fue elegido miembro y consejero de la Royal Society of New Zealand , presidente de la New Zealand Mathematical Society , y representó a Nueva Zelanda en la International Mathematical Union . En 2012 recibió la Medalla Jones por su trayectoria en matemáticas.
Libros y capítulos de manuales
- 1979: Topoi : El análisis categórico de la lógica , Holanda del Norte. Edición revisada 1984. Edición de publicaciones de Dover 2006. Edición de Internet , Proyecto Euclid.
- Benjamin C. Pierce lo recomienda como un "excelente libro para principiantes", elogiándolo por el uso de ejemplos sencillos de teoría de conjuntos e intuiciones motivadoras, pero señaló que "a veces es criticado por teóricos de categorías por ser engañoso en algunos aspectos del tema, y por presentar pruebas largas y difíciles cuando se dispone de pruebas sencillas ". Pero el prefacio de la edición de Dover observa (p. Xv) que "Este es un libro sobre lógica, más que sobre teoría de categorías per se. Su objetivo es explicar, de manera introductoria, cómo ciertas ideas lógicas son iluminadas por una teoría de categorías perspectiva."
- 1982: Axiomatización de la lógica de la programación informática , notas de la conferencia en informática 130, Springer-Verlag.
- 1987: Ortogonalidad y geometría del espacio-tiempo , Universitext Springer-Verlag ISBN 0-387-96519-X MR 0888161
- 1987: Lógica del tiempo y la computación . CSLI Lecture Notes, 7. Universidad de Stanford , Centro para el estudio del lenguaje y la información MR 1191162 . Segunda edición 1992.
- 1993: Matemáticas de modalidad , Publicaciones de CSLI , ISBN 978-1-881526-24-7 MR 1317099
- 1998: Conferencias sobre los hiperrealistas: una introducción al análisis no estándar. Textos de Posgrado en Matemáticas , 188. Springer-Verlag.
- El crítico Perry Smith de MathSciNet escribió : "Las ideas del autor sobre cómo lograr tanto la inteligibilidad como el rigor, explicadas en el prefacio, serán una lectura útil para cualquiera que tenga la intención de enseñar análisis no estándar".
- 2006: "Lógica modal matemática: una visión de su evolución" en Modalidades en el siglo XX , Volumen 7 del Manual de historia de la lógica , editado por Dov M. Gabbay y John Woods , Elsevier , págs. 1-98.
- 2011: Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics , Cambridge University Press y la Association for Symbolic Logic.