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 simples de teoría de conjuntos e intuiciones motivadoras, pero señaló que "a veces es criticado por los 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 ". [1] 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 un perspectiva teórica de categorías ".
- 1982: Axiomatización de la lógica de la programación informática , Notas de la conferencia en Ciencias de la Computación 130, Springer-Verlag.
- 1987: Ortogonalidad y geometría del espacio-tiempo , Universitext Springer-Verlag ISBN 0-387-96519-X MR0888161
- 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 MR1191162 . Segunda edición 1992.
- 1993: Matemáticas de la modalidad , Publicaciones CSLI , ISBN 978-1-881526-24-7 SEÑOR1317099
- 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 desee 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.
Ver también
Referencias
- ^ Benjamin C. Pierce (1991). Teoría de categorías básicas para informáticos . Prensa del MIT . pag. 73. ISBN 978-0-262-66071-6.