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 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
- This list is incomplete; you can help by expanding it.
- Goldblatt, Robert. Logics of time and computation. Second edition. CSLI Lecture Notes, 7. Stanford University, Center for the Study of Language and Information, Stanford, CA, 1992.
- Goldblatt, Robert. Lectures on the hyperreals. An introduction to nonstandard analysis. Graduate Texts in Mathematics, 188. Springer-Verlag, New York, 1998.
- 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."
- Goldblatt, Robert. Topoi: The Categorial Analysis of Logic. Dover Books on Mathematics, 1984.
- 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]
- Robert Goldblatt (1993). Mathematics of modality. CSLI Publications. ISBN 978-1-881526-24-7.
- Goldblatt, Robert. 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, 2006, 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.
External links
|
This article is issued from Wikipedia - version of the Saturday, March 05, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.