Robert Goldblatt

Robert Ian Goldblatt (född 1949) är en matematisk logiker som är emeritusprofessor vid School of Mathematics and Statistics vid Victoria University, Wellington , Nya Zeeland. Hans mest populära böcker är Logics of Time and Computation och Topoi: the Categorial Analysis of Logic . Han har också skrivit en lärobok på forskarnivå om hyperrealistiska tal som är en introduktion till icke-standardiserad analys .

Han har varit koordinerande redaktör för The Journal of Symbolic Logic och chefredaktör för Studia Logica . Han valdes till kollega och rådman i Royal Society of New Zealand , ordförande för New Zealand Mathematical Society och representerade Nya Zeeland till International Mathematical Union . 2012 tilldelades han Jones-medaljen för livstidsprestation i matematik.

Böcker och handbokskapitel

Benjamin C. Pierce rekommenderar den som en "utmärkt nybörjarbok", och berömde den för användningen av enkla set-teoretiska exempel och motiverande intuitioner, men noterade att den "ibland kritiseras av kategoriteoretiker för att vara vilseledande i vissa aspekter av ämnet, och för att presentera långa och svåra bevis där enkla sådana finns tillgängliga." Men förordet till Dover-utgåvan konstaterar (s. xv) att "Detta är en bok om logik, snarare än kategoriteori i sig. Den syftar till att förklara, på ett inledande sätt, hur vissa logiska idéer belyses av en kategoriteoretik. perspektiv."
  • 1982: Axiomatising the Logic of Computer Programming , Lecture Notes in Computer Science 130, Springer-Verlag.
  •   1987: Ortogonality and Spacetime Geometry , Universitext Springer-Verlag ISBN 0-387-96519-X MR 0888161
  • 1987: Logics of Time and Computation . CSLI Lecture Notes, 7. Stanford University , Center for the Study of Language and Information MR 1191162 . Andra upplagan 1992.
  •   1993: Mathematics of Modality , CSLI Publications , ISBN 978-1-881526-24-7 MR 1317099
  • 1998: Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Graduate Texts in Mathematics , 188. Springer-Verlag.
Recensenten Perry Smith för MathSciNet skrev : "Författarens idéer om hur man uppnår både förståelighet och stringens, förklarade i förordet, kommer att vara användbar läsning för alla som tänker undervisa i icke-standardiserad analys."
  • 2006: "Mathematical Modal Logic: a View of its Evolution" i Modalities in the Twentieth Century , Volym 7 av Handbook of the History of Logic , redigerad av Dov M. Gabbay och John Woods , Elsevier , s. 1–98.
  • 2011: Quantifiers, propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logic , Cambridge University Press och Association for Symbolic Logic.

Se även

externa länkar

Hämtad från " https://sv.wikipedia.org/w/index.php?title=Robert_Goldblatt&oldid=969522098 "