__notoc__ Robert Ian Goldblatt (born 1949) is a

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

ian who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University,

Wellington Wellington ( mi, Te Whanganui-a-Tara or ) is the capital city of New Zealand. It is located at the south-western tip of the North Island, between Cook Strait and the Remutaka Range. Wellington is the second-largest city in New Zealand by me ...

, New Zealand. His most popular books are ''Logics of Time and Computation'' and ''Topoi: the Categorial Analysis of Logic''. He has also written a graduate level textbook on

hyperreal number In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal (infinitely small but non-zero) quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers ...

s which is an introduction to

nonstandard analysis The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using (ε, δ)-definitio ...

. He has been Coordinating Editor of The ''

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zentra ...

'' and a Managing Editor of ''

Studia Logica ''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scient ...

''. He was elected Fellow and Councillor of the

Royal Society of New Zealand Royal may refer to: People * Royal (name), a list of people with either the surname or given name * A member of a royal family Places United States * Royal, Arkansas, an unincorporated community * Royal, Illinois, a village * Royal, Iowa, a cit ...

, President of the

New Zealand Mathematical Society The New Zealand Mathematical Society is a New Zealand based learned society of mathematicians. It is listed by the Royal Society of New Zealand as the affiliate organisation responsible for mathematics research, and by the International Mathematical ...

, and represented New Zealand to the

International Mathematical Union The International Mathematical Union (IMU) is an international non-governmental organization devoted to international cooperation in the field of mathematics across the world. It is a member of the International Science Council (ISC) and supports ...

. In 2012 he was awarded the
Jones Medal
for lifetime achievement in mathematics.

Books and handbook chapters

* 1979: ''

Topoi In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a noti ...

: The Categorial Analysis of Logic'', North-Holland. Revised edition 1984.

Dover Publications Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward and Blanche Cirker. It primarily reissues books that are out of print from their original publishers. These are often, but not always, books ...

edition 2006
Internet edition
Project Euclid. :: 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." But the preface of the Dover edition observes (p. xv) that "This is a book about logic, rather than category theory per se. It aims to explain, in an introductory way, how certain logical ideas are illuminated by a category-theoretic perspective." * 1982: ''Axiomatising the Logic of Computer Programming'', Lecture Notes in Computer Science 130, Springer-Verlag. * 1987: ''Orthogonality and Spacetime Geometry'', Universitext Springer-Verlag * 1987: ''Logics of Time and Computation''. CSLI Lecture Notes, 7.

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

Center for the Study of Language and Information Stanford University has many centers and institutes dedicated to the study of various specific topics. These centers and institutes may be within a department, within a school but across departments, an independent laboratory, institute or center ...

. Second edition 1992. * 1993: ''Mathematics of Modality'',

CSLI Publications Stanford University has many centers and institutes dedicated to the study of various specific topics. These centers and institutes may be within a department, within a school but across departments, an independent laboratory, institute or center ...

, * 1998: ''Lectures on the Hyperreals: An Introduction to Nonstandard Analysis.''

Graduate Texts in Mathematics Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard s ...

, 188. Springer-Verlag. ::Reviewer Perry Smith for

MathSciNet MathSciNet is a searchable online bibliographic database created by the American Mathematical Society in 1996. It contains all of the contents of the journal ''Mathematical Reviews'' (MR) since 1940 along with an extensive author database, links ...

br>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 Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authored ...

and John Woods,

Elsevier Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', th ...

, pp. 1–98. * 2011: ''Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics'', Cambridge University Press and the Association for Symbolic Logic.

References

External links

Home page
* {{DEFAULTSORT:Goldblatt, Robert Living people New Zealand mathematicians New Zealand logicians Mathematical logicians Victoria University of Wellington alumni Victoria University of Wellington faculty 1949 births

Books and handbook chapters

See also

References

External links