fbpx
Wikipedia

Robert Goldblatt

December 18, 2023

Robert Ian Goldblatt (born 1949) is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand. His doctoral advisor was Max Cresswell.[1] 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 numbers which is an introduction to nonstandard analysis.

He has been Coordinating Editor of The Journal of Symbolic Logic and 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. In 2012 he was awarded the Jones Medal for lifetime achievement in mathematics.

Books and handbook chapters edit

  • 1979: Topoi: The Categorial Analysis of Logic, North-Holland. Revised edition 1984. Dover Publications 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."[2] 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 ISBN 0-387-96519-X MR0888161
  • 1987: Logics of Time and Computation. CSLI Lecture Notes, 7. Stanford University, Center for the Study of Language and Information MR1191162. Second edition 1992.
  • 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.
  • 2011: Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics, Cambridge University Press and the Association for Symbolic Logic.

See also edit

References edit

  1. ^ "Maxwell Cresswell - The Mathematics Genealogy Project". mathgenealogy.org. Retrieved 2023-04-09.
  2. ^ Benjamin C. Pierce (1991). Basic category theory for computer scientists. MIT Press. p. 73. ISBN 978-0-262-66071-6.

External links edit

  • Home page

December 18, 2023
robert, goldblatt, robert, goldblatt, born, 1949, mathematical, logician, emeritus, professor, school, mathematics, statistics, victoria, university, wellington, zealand, doctoral, advisor, cresswell, most, popular, books, logics, time, computation, topoi, cat. Robert Ian Goldblatt born 1949 is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University Wellington New Zealand His doctoral advisor was Max Cresswell 1 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 numbers which is an introduction to nonstandard analysis He has been Coordinating Editor of The Journal of Symbolic Logic and 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 In 2012 he was awarded the Jones Medal for lifetime achievement in mathematics Books and handbook chapters edit1979 Topoi The Categorial Analysis of Logic North Holland Revised edition 1984 Dover Publications 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 2 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 dd 1982 Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science 130 Springer Verlag 1987 Orthogonality and Spacetime Geometry Universitext Springer Verlag ISBN 0 387 96519 X MR0888161 1987 Logics of Time and Computation CSLI Lecture Notes 7 Stanford University Center for the Study of Language and Information MR1191162 Second edition 1992 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 dd 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 2011 Quantifiers Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics Cambridge University Press and the Association for Symbolic Logic See also editInfluence of non standard analysisReferences edit Maxwell Cresswell The Mathematics Genealogy Project mathgenealogy org Retrieved 2023 04 09 Benjamin C Pierce 1991 Basic category theory for computer scientists MIT Press p 73 ISBN 978 0 262 66071 6 External links editHome pageRobert Goldblatt at the Mathematics Genealogy Project Retrieved from https en wikipedia org w index php title Robert Goldblatt amp oldid 1165909292, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.