Парис, Джефф


Джеффри (Джефф) Брюс Парис (род. 15 ноября 1944) — британский математик, почётный профессор (Emeritus Professor) Манчестерского университета[2][3][4][5][6].

Общие сведения
Джеффри Брюс Парис
англ. Jeffrey Bruce Paris
Имя при рождении Джеффри Брюс Парис
Дата рождения 15 ноября 1944(1944-11-15) (81 год)
Страна
Научная сфера математическая логика
Место работы
Образование
Учёная степень доктор физико-математических наук
Научный руководитель Robin Gandy
Известен как основоположник теорем Париса—Харрингтона и Гудстейна
Награды и премии Премия Уайтхеда (1983)
FBA (1999)
Сайт maths.manchester.ac.uk/~…

Биография

В Манчестерском университете Парис защитил под руководством Робина Ганди две кандидатские диссертации по темам «Большие кардиналы» и «Обобщённая гипотеза континуума»[7]. В 1984 году он стал профессором Манчестерского университета[8].

Научная деятельность

Парис известен своими работами по математической логике, и в частности доказуемостью в арифметических, неопределённых рассуждениях и индуктивной логике с упором на рациональность и принципы здравого смысла. Соавтор теоремы Париса — Харрингтона.

После 1994 года научные интересы Париса сместились в сторону изучения неопределённости, вероятностной и индуктивной логики[9]. Совместно с Алёной Венцовской он занимается исследованиями в области полиадической чистой индуктивной логики, изучающей рациональную вероятность[10].

Публикации

  • Неопределённый спутник рассуждения: Математическая перспектива, Cambridge University Press, 1994, ISBN 0-521-46089-1.
  • Pure Inductive Logic (2015, в соавторстве с Алёной Венцовской)[10].

Награды

Париса избрали членом Британской академии наук в 1999 году[11][12].

Личная жизнь

Джеффри Парис был женат на Малвин Лорейн Блэкберн до 1983 года, позже женился на Алёне Венцовской. У него шестеро детей (три сына и три дочери), одна из которых — известная британская бегунья Жасмин Парис[11].

Литература

Примечания

  1. Mathematics Genealogy Project (англ.) — 1997.
  2. Academic and Research Staff. Department of Mathematics, The University of Manchester. Дата обращения: 21 мая 2026.
  3. Pars, B. J, Harrington. L: A mathematical incompleteness in Peano Arithmetic. In Handbook of Mathematical Logic (ed J. Barwise), pp. 1133—1142. Amsterdam, Hetherlands: Noth-Holland.
  4. Paris. B. J.: The uncertain reasoner’s companion: a mathematical prrspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1.
  5. J.B. Paris, L.A.S. Kirby. ∑n-Collection Schemas in Arithmetic. — С. 199—209. — ISBN 9780444851789. — doi:10.1016/s0049-237x(08)72003-2.
  6. [https://www.scopus.com/authid/detail.url?authorId=14043882800 Scopus preview - Scopus - Author details (Paris, Jeff Bruce)] (англ.). www.scopus.com. Дата обращения: 21 мая 2026.
  7. Jeffrey Paris - The Mathematics Genealogy Project. www.genealogy.math.ndsu.nodak.edu. Дата обращения: 21 мая 2026. Архивировано 13 июля 2018 года.
  8. Jeffrey Paris FBA. The British Academy. Дата обращения: 21 мая 2026.
  9. Uncertain Reasoner's Companion. Cambridge Core. Cambridge University Press (1994). Дата обращения: 21 мая 2026.
  10. 1 2 Pure Inductive Logic. Association for Symbolic Logic. Дата обращения: 21 мая 2026.
  11. 1 2 Ошибка в сносках?: Неверный тег <ref>; для сносок :0 не указан текст
  12. British Academy Review 1998-1999 - The Fellowship (23 октября 2007). Дата обращения: 24 декабря 2017. Архивировано из оригинала 23 октября 2007 года.

Ссылки

Дополнительно по теме