Robert Goldblatt - Robert Goldblatt
Robert Ian Goldblatt (geb. 1949) ist ein mathematischer Logiker, der emeritierter Professor an der Fakultät für Mathematik und Statistik der Victoria University in Wellington , Neuseeland, ist. Seine beliebtesten Bücher sind Logics of Time and Computation und Topoi: The Categorial Analysis of Logic . Er hat auch ein Lehrbuch für Hochschulabsolventen über hyperreale Zahlen geschrieben, das eine Einführung in die nicht standardisierte Analyse darstellt .
Er war Coordinating Editor des Journal of Symbolic Logic und Managing Editor von Studia Logica . Er wurde zum Fellow und Ratsmitglied der Royal Society of New Zealand , Präsident der New Zealand Mathematical Society , gewählt und vertrat Neuseeland in der International Mathematical Union . 2012 wurde er mit der Jones-Medaille für sein Lebenswerk in Mathematik ausgezeichnet.
Bücher und Handbuchkapitel
- 1979: Topoi : Die kategoriale Analyse der Logik , Nordholland. Überarbeitete Ausgabe 1984. Dover Publications Edition 2006. Internet Edition , Project Euclid.
- Benjamin C. Pierce empfiehlt es als "ausgezeichnetes Anfängerbuch" und lobt es für die Verwendung einfacher satztheoretischer Beispiele und motivierender Intuitionen, merkt jedoch an, dass es "manchmal von Kategorietheoretikern kritisiert wird, weil sie in einigen Aspekten des Themas irreführend sind. und um lange und schwierige Beweise zu präsentieren, wo einfache verfügbar sind. " Im Vorwort der Dover-Ausgabe heißt es jedoch (S. xv): "Dies ist ein Buch über Logik und nicht über Kategorietheorie an sich. Es soll auf einleitende Weise erklären, wie bestimmte logische Ideen durch eine Kategorietheorie beleuchtet werden Perspektive."
- 1982: Axiomatisierung der Logik der Computerprogrammierung , Lecture Notes in Computer Science 130, Springer-Verlag.
- 1987: Orthogonalität und Raumzeitgeometrie , Universitext Springer-Verlag ISBN 0-387-96519-X MR 0888161
- 1987: Logik von Zeit und Berechnung . CSLI Lecture Notes, 7. Stanford University , Zentrum für das Studium von Sprache und Information MR 1191162 . Zweite Auflage 1992.
- 1993: Mathematics of Modality , CSLI Publications , ISBN 978-1-881526-24-7 MR 1317099
- 1998: Vorlesungen über die Hyperreals: Eine Einführung in die Nichtstandardanalyse. Diplomtexte in Mathematik , 188. Springer-Verlag.
- Der Rezensent Perry Smith von MathSciNet schrieb : "Die im Vorwort erläuterten Ideen des Autors, wie sowohl Verständlichkeit als auch Genauigkeit erreicht werden können, sind eine nützliche Lektüre für alle, die nicht standardisierte Analysen unterrichten möchten."
- 2006: "Mathematische Modallogik: Ein Blick auf ihre Entwicklung" in Modalitäten im 20. Jahrhundert , Band 7 des Handbuchs zur Geschichte der Logik , herausgegeben von Dov M. Gabbay und John Woods , Elsevier , S. 1–98.
- 2011: Quantifizierer, Sätze und Identität: Zulässige Semantik für quantifizierte modale und substrukturelle Logik , Cambridge University Press und die Association for Symbolic Logic.