Robert Goldblatt

Matemático neozelandés

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 Victoria , Wellington , Nueva Zelanda. Su asesor de doctorado fue Max Cresswell . ^[1] 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 de nivel de posgrado sobre números hiperreales que es una introducción al análisis no estándar .

Ha sido editor coordinador de The Journal of Symbolic Logic y editor jefe 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 ante la Unión Matemática Internacional . En 2012 recibió la Medalla Jones por su trayectoria en matemáticas.

Libros y capítulos de manuales

• 1979: Topoi : The Categorial Analysis of Logic , North-Holland. Edición revisada de 1984. Edición de Dover Publications de 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 hay otras simples disponibles". ^[2] 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 se iluminan desde una perspectiva de teoría de categorías".

• 1982: Axiomatizando la lógica de la programación informática , Apuntes de clases de 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 computación . Apuntes de clase del CSLI, 7. Universidad de Stanford , Centro para el estudio del lenguaje y la información MR 1191162. Segunda edición, 1992.
• 1993: Matemáticas de la modalidad , Publicaciones CSLI , ISBN 978-1-881526-24-7 MR 1317099 
• 1998: Lecciones sobre los hiperreales: una introducción al análisis no estándar. Textos de posgrado en matemáticas , 188. Springer-Verlag.

El revisor Perry Smith para MathSciNet escribió: "Las ideas del autor sobre cómo lograr tanto inteligibilidad como 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 la historia de la lógica , editado por Dov M. Gabbay y John Woods , Elsevier , págs. 1–98.
• 2011: Cuantificadores, proposiciones e identidad: semántica admisible para lógicas modales y subestructurales cuantificadas , Cambridge University Press y la Asociación de Lógica Simbólica.

Véase también

• Influencia del análisis no estándar

Referencias

1. "Maxwell Cresswell - El proyecto de genealogía matemática". mathgenealogy.org . Consultado el 9 de abril de 2023 .
2. Benjamin C. Pierce (1991). Teoría de categorías básicas para científicos informáticos. MIT Press . p. 73. ISBN 978-0-262-66071-6.

Enlaces externos

• Página de inicio

• Robert Goldblatt en el Proyecto de Genealogía Matemática