词条 | Robert Goldblatt |
释义 |
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 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 [https://royalsociety.org.nz/what-we-do/medals-and-awards/jones-medal/ Jones Medal] for lifetime achievement in mathematics. Books and handbook chapters
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."[1] 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."
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."
See also
References1. ^{{cite book|author=Benjamin C. Pierce|title=Basic category theory for computer scientists|url=https://books.google.com/books?id=ezdeaHfpYPwC&pg=PA73|year=1991|publisher=MIT Press|isbn=978-0-262-66071-6|page=73}} External links
6 : Living people|New Zealand mathematicians|Mathematical logicians|Victoria University of Wellington alumni|Victoria University of Wellington faculty|1949 births |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。