Robert Goldblatt
Robert Ian Goldblatt (born 1949) is a mathematical logician at the School of Mathematics, Statistics and Operations Research at Victoria University, Wellington, New Zealand, and a member of the Centre for Logic, Language and Computation. His academic genealogy can be traced back to Leibniz.[1] One of his most popular books is Logics of time and computation. He has also written a graduate level textbook on hyperreal numbers which is an introduction to nonstandard analysis.
He was a Coordinating Editor of The Journal of Symbolic Logic. He is a Managing Editor of Studia Logica.
He was elected Fellow and Councillor of the Royal Society of New Zealand, President of the New Zealand Mathematical Society, and represented New Zealand to the International Mathematical Union.
Books and handbook chapters
- 1984: Topoi: The Categorial Analysis of Logic, Dover Books.
- Benjamin C. Pierce recommends it as an "excellent beginner book", praising it for the use of simple set-theoretic examples and motivating intuitions, but noted that it "is sometimes criticized by category theorists for being misleading on some aspects of the subject, and for presenting long and difficult proofs where simple ones are available."[2]
- 1987: Orthogonality and Spacetime Geometry, Universitext Springer-Verlag ISBN 0-387-96519-X MR0888161
- 1992: Logics of time and computation. Second edition. CSLI Lecture Notes, 7. Stanford University, Center for the Study of Language and Information MR1191162
- 1993: Mathematics of modality, CSLI Publications, ISBN 978-1-881526-24-7 MR1317099
- 1998: Lectures on the Hyperreals. An introduction to nonstandard analysis. Graduate Texts in Mathematics, 188. Springer-Verlag.
- Reviewer Perry Smith for MathSciNet wrote: "The author's ideas on how to achieve both intelligibility and rigor, explained in the preface, will be useful reading for anyone intending to teach nonstandard analysis."
- 2006: "Mathematical Modal Logic: a View of its Evolution" in Modalities in the Twentieth Century, Volume 7 of the Handbook of the History of Logic, edited by Dov M. Gabbay and John Woods, Elsevier, pp. 1–98.
See also
References
- ↑ Robert Ian Goldblatt at the Mathematics Genealogy Project.
- ↑ Benjamin C. Pierce (1991). Basic category theory for computer scientists. MIT Press. p. 73. ISBN 978-0-262-66071-6.