Robert Goldblatt
Encyclopedia
Robert Ian Goldblatt is a mathematical logic
ian 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 academic genealogy
can be traced back to Leibniz. 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
.
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
ian at the School of Mathematics, Statistics and Operations Research at Victoria University
Victoria University of Wellington
Victoria University of Wellington was established in 1897 by Act of Parliament, and was a former constituent college of the University of New Zealand. It is particularly well known for its programmes in law, the humanities, and some scientific disciplines, but offers a broad range of other courses...
, Wellington
Wellington
Wellington is the capital city and third most populous urban area of New Zealand, although it is likely to have surpassed Christchurch due to the exodus following the Canterbury Earthquake. It is at the southwestern tip of the North Island, between Cook Strait and the Rimutaka Range...
, New Zealand
New Zealand
New Zealand is an island country in the south-western Pacific Ocean comprising two main landmasses and numerous smaller islands. The country is situated some east of Australia across the Tasman Sea, and roughly south of the Pacific island nations of New Caledonia, Fiji, and Tonga...
, and a member of the Centre for Logic, Language and Computation. His academic academic genealogy
Academic genealogy
An academic, or scientific, genealogy, organizes a family tree of scientists and scholars according to dissertation supervision relationships....
can be traced back to Leibniz. One of his most popular books is Logics of time and computation.
He was a Coordinating Editor of The Journal of Symbolic Logic
Journal of Symbolic Logic
The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.Founded in 1936, the journal publishes articles on mathematical logic....
. He is a Managing Editor of Studia Logica
Studia Logica
Studia Logica is an international journal of mathematics and logic. The scope of the journal is all scientific disciplines, however the main criterion for publication is not the scope of the submission, but rather the use of formal methods...
.
He was elected Fellow and Councillor of the Royal Society of New Zealand
Royal Society of New Zealand
The Royal Society of New Zealand , known as the New Zealand Institute before 1933, was established in 1867 to co-ordinate and assist the activities of a number of regional research societies including the Auckland Institute, the Wellington Philosophical Society, the Philosophical Institute of...
, President of the New Zealand Mathematical Society, and represented New Zealand to the International Mathematical Union
International Mathematical Union
The International Mathematical Union is an international non-governmental organisation devoted to international cooperation in the field of mathematics across the world. It is a member of the International Council for Science and supports the International Congress of Mathematicians...
.
Books and handbook chapters
- 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 hyperrealHyperrealHyperreal may refer to:* Hyperreal numbers, an extension of the real numbers in mathematics that are used in non-standard analysis* Hyperreality, a term used in semiotics and postmodern philosophy* Hyperrealism, a school of painting...
s. An introduction to nonstandard analysis. Graduate Texts in MathematicsGraduate Texts in MathematicsGraduate Texts in Mathematics 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 size...
, 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. PierceBenjamin C. PierceBenjamin Crawford Pierce is an American professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon...
recommend 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."- 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.
- 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."