Русская Википедия:Парис, Джефф

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Значения Шаблон:Учёный

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

Биография и научная деятельность

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

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

Награды

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

Публикации

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

Литература

Примечания

Шаблон:Примечания

Ссылки

Внешние ссылки

  1. 1,0 1,1 Шаблон:Cite news
  2. 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.
  3. Шаблон:Cite web
  4. Шаблон:Статья
  5. 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.
  6. Шаблон:Статья
  7. Шаблон:Cite web
  8. Шаблон:Cite web
  9. Шаблон:Cite web
  10. Шаблон:Cite web
  11. Шаблон:Cite web

Шаблон:Выбор языка