Парис, Джефф

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

Джеффри (Джефф) Брюс Парис (род. 15 ноября 1944, Великобритания)[2] — британский математик, преподаватель в Манчестерском университете[3][4][5][6][7][8][9].

Биография и научная деятельность[править | править код]

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

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

Награды[править | править код]

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

Публикации[править | править код]

  • Неопределённый спутник рссуждения: Математическая перспектива, Cambridge University Press, 1994, ISBN 0-521-46089-1.

Литература[править | править код]

Примечания[править | править код]

  1. Математическая генеалогия (англ.) — 1997.
  2. 1 2 Paris, Prof. Jeffrey Bruce, (born 15 Nov. 1944), Professor of Mathematics, Manchester University, 1984–2017, now Emeritus | WHO'S WHO & WHO WAS WHO (англ.). Дата обращения 24 декабря 2017.
  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. Kirby, L.; Paris, J. Accessible Independence Results for Peano Arithmetic. Bulletin of the London Mathematical Society. (1982).
  5. Laurie Kirby, Jeff Paris. Accessible Independence Results for Peano Arithmetic (англ.) // Bulletin of the London Mathematical Society. — 1982-07-01. — Vol. 14, iss. 4. — P. 285—293. — ISSN 1469-2120. — doi:10.1112/blms/14.4.285.
  6. 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.
  7. J.B. Paris, L.A.S. Kirby. ∑n-Collection Schemas in Arithmetic. — С. 199—209. — ISBN 9780444851789. — doi:10.1016/s0049-237x(08)72003-2.
  8. [https://www.scopus.com/authid/detail.url?authorId=14043882800 Scopus preview - Scopus - Author details (Paris, Jeff Bruce)] (англ.). www.scopus.com. Дата обращения: 24 декабря 2017.
  9. Wayback Machine (англ.). web.archive.org. Дата обращения: 24 декабря 2017.
  10. Jeffrey Paris - The Mathematics Genealogy Project. www.genealogy.math.ndsu.nodak.edu. Дата обращения: 24 декабря 2017.
  11. British Academy Fellows (англ.).
  12. British Academy Review 1998-1999 - The Fellowship (недоступная ссылка) (23 октября 2007). Дата обращения: 24 декабря 2017. Архивировано 23 октября 2007 года.

Ссылки[править | править код]