Роберт Голдблатт - Robert Goldblatt

Роберт Ян Голдблатт (1949 г.р.) математический логик кто является почетным профессором школы математики и статистики Университет Виктории, Веллингтон, Новая Зеландия. Его самые популярные книги: Логика времени и вычислений и Топои: категориальный анализ логики. Он также написал учебник для выпускников по гиперреальные числа что является введением в нестандартный анализ.

Он был редактором-координатором Журнал символической логики и управляющий редактор Studia Logica Он был избран членом и советником Королевское общество Новой Зеландии, Президент Математическое общество Новой Зеландии, и представлял Новую Зеландию на Международный математический союз В 2012 году он был награжден Медаль Джонса за достижения в математике.

Книги и главы справочников

Бенджамин С. Пирс рекомендует ее как «отличную книгу для начинающих», хваля ее за использование простых теоретико-множественных примеров и мотивирующую интуицию, но отмечает, что ее «иногда критикуют теоретики категорий за то, что она вводит в заблуждение по некоторым аспектам предмета, и за то, что она представляет длинные и трудные доказательства там, где доступны простые ".[1] Но в предисловии к изданию Dover отмечается (стр. Xv), что «это книга о логике, а не о теории категорий как таковой. Она направлена ​​на вводное объяснение того, как определенные логические идеи освещаются теоретико-категориальной теорией. перспектива."
  • 1982: Аксиоматизация логики компьютерного программирования, Конспект лекций по информатике 130, Springer-Verlag.
  • 1987: Ортогональность и геометрия пространства-времени, Universitext Springer-Verlag ISBN  0-387-96519-X МИСТЕР0888161
  • 1987: Логика времени и вычислений. Лекционные заметки CSLI, 7. Стэндфордский Университет, Центр изучения языка и информации МИСТЕР1191162. Издание второе 1992 г.
  • 1993: Математика модальности, Публикации CSLI, ISBN  978-1-881526-24-7 МИСТЕР1317099
  • 1998: Лекции о гиперреалах: введение в нестандартный анализ. Тексты для выпускников по математике, 188. Springer-Verlag.
Рецензент Перри Смит для MathSciNet написал: «Идеи автора о том, как добиться одновременно разборчивости и строгости, объясненные в предисловии, будут полезны для чтения всем, кто собирается преподавать нестандартный анализ».
  • 2006: "Математическая модальная логика: взгляд на ее эволюцию" в Модальности в двадцатом веке, Том 7 Справочник по истории логики, Отредактировано Дов М. Габбай и Джон Вудс, Эльзевир, стр. 1–98.
  • 2011: Кванторы, предложения и идентичность: допустимая семантика для квантифицированных модальных и субструктурных логик, Cambridge University Press и Ассоциация символической логики.

Смотрите также

Рекомендации

  1. ^ Бенджамин С. Пирс (1991). Базовая теория категорий для компьютерных ученых. MIT Press. п. 73. ISBN  978-0-262-66071-6.

внешняя ссылка