Роберт Голдблатт
Роберт Ян Голдблатт (род. 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 МР 0888161
- 1987: Логика времени и вычислений . Конспект лекций CSLI, 7. Стэнфордский университет , Центр изучения языка и информации, MR. 1191162 . Второе издание 1992 года.
- 1993: Математика модальности , публикации CSLI , ISBN 978-1-881526-24-7 МР 1317099
- 1998: Лекции по гиперреальности: введение в нестандартный анализ. Тексты для выпускников по математике , 188. Springer-Verlag.
- Рецензент Перри Смит из MathSciNet написал : «Идеи автора о том, как добиться одновременно понятности и строгости, изложенные в предисловии, будут полезны для чтения всем, кто собирается преподавать нестандартный анализ».
- 2006: «Математическая модальная логика: взгляд на ее эволюцию» в журнале «Модальность в двадцатом веке» , том 7 « Справочника по истории логики» , под редакцией Дова М. Габбая и Джона Вудса , Elsevier , стр. 1–98.
- 2011: Квантификаторы, предложения и идентичность: допустимая семантика для количественной модальной и субструктурной логики , издательство Кембриджского университета и Ассоциация символической логики.
См. также [ править ]
Ссылки [ править ]
- ^ «Максвелл Крессвелл - Проект математической генеалогии» . mathgenealogy.org . Проверено 9 апреля 2023 г.
- ^ Бенджамин К. Пирс (1991). Базовая теория категорий для специалистов по информатике . МТИ Пресс . п. 73. ИСБН 978-0-262-66071-6 .
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
