новозеландский математик
Роберт Ян Голдблатт (род. 1949) — математический логик , почетный профессор Школы математики и статистики Университета Виктории , Веллингтон , Новая Зеландия. Его научным руководителем был Макс Крессвелл . [1] Его самые популярные книги — «Логика времени и вычислений» и «Топы: категориальный анализ логики» . Он также написал учебник по гипердействительным числам для аспирантов , который представляет собой введение в нестандартный анализ .
Он был редактором-координатором «Журнала символической логики» и управляющим редактором « Studia Logica» . Он был избран членом и советником Королевского общества Новой Зеландии , президентом Новозеландского математического общества и представлял Новую Зеландию в Международном математическом союзе . В 2012 году он был награжден медалью Джонса за достижения в области математики.
Книги и главы справочников
- 1979: Топои : Категориальный анализ логики , Северная Голландия. Пересмотренное издание 1984 г. Издание Dover Publications 2006 г. Интернет-издание Project Euclid.
- Бенджамин К. Пирс рекомендует ее как «отличную книгу для начинающих», хваля ее за использование простых теоретико-множественных примеров и мотивирующую интуицию, но отмечая, что она «иногда подвергается критике со стороны теоретиков категорий за то, что она вводит в заблуждение по некоторым аспектам предмета. и за представление длинных и сложных доказательств там, где доступны простые». [2] Однако в предисловии к дуврскому изданию отмечается (стр. xv), что «это книга о логике, а не о теории категорий как таковой. теоретико-категориальная перспектива».
- 1982: Аксиоматизация логики компьютерного программирования , Конспект лекций по информатике 130, Springer-Verlag.
- 1987: Ортогональность и геометрия пространства-времени , Universitext Springer-Verlag ISBN 0-387-96519-X MR 0888161
- 1987: Логика времени и вычислений . Конспект лекций CSLI, 7. Стэнфордский университет , Центр изучения языка и информации, MR 1191162. Второе издание, 1992 г.
- 1993: Математика модальности , публикации CSLI , ISBN 978-1-881526-24-7 MR 1317099
- 1998: Лекции по гиперреальности: введение в нестандартный анализ. Тексты для выпускников по математике , 188. Springer-Verlag.
- Рецензент Перри Смит из MathSciNet написал: «Идеи автора о том, как добиться одновременно понятности и строгости, изложенные в предисловии, будут полезны для чтения всем, кто собирается преподавать нестандартный анализ».
- 2006: «Математическая модальная логика: взгляд на ее эволюцию» в журнале «Модальность в двадцатом веке » , том 7 «Справочника по истории логики» , под редакцией Дова М. Габбая и Джона Вудса , Elsevier , стр. 1–98.
- 2011: Кванторы, предложения и идентичность: допустимая семантика для количественной модальной и субструктурной логики , издательство Кембриджского университета и Ассоциация символической логики.
Смотрите также
Рекомендации
- ^ "Максвелл Крессвелл - Проект математической генеалогии" . mathgenealogy.org . Проверено 9 апреля 2023 г.
- ^ Бенджамин К. Пирс (1991). Базовая теория категорий для ученых-компьютерщиков. МТИ Пресс . п. 73. ИСБН 978-0-262-66071-6.
Внешние ссылки
