Парис, Джефф
Джеффри (Джефф) Брюс Парис (род. 15 ноября 1944, Великобритания)[2] — британский математик, преподаватель в Манчестерском университете[3][4][5][6][7][8][9].
| Джеффри Брюс Парис | |
|---|---|
| англ. Jeffrey Bruce Paris | |
 | |
| Имя при рождении | Джеффри Брюс Парис |
| Дата рождения | 15 ноября 1944 (79 лет) |
| Страна | |
| Научная сфера | математическая логика |
| Место работы | |
| Альма-матер | |
| Учёная степень | доктор физико-математических наук |
| Научный руководитель | Robin Gandy[d] |
| Известен как | основоположник теорем Париса—Харрингтона и Гудстейна |
| Награды и премии |
Премия Уайтхеда (1983) FBA (1999) |
| Сайт | maths.manchester.ac.uk/~… |
 Медиафайлы на Викискладе | |
Биография и научная деятельность править
В Манчестерском университете Парис защитил под руководством Робина Ганди две кандидатские дессертации по темам «Большие кардиналы» и «Обобщённая гипотеза континуума»[10].
Парис известен своими работами по математической логике, и в частности доказуемостью в арифметических, неопределённых рассуждениях и индуктивной логике с упором на рациональность и принципы здравого смысла. Соавтор теоремы Париса — Харрингтона.
Награды править
Париса избрали членом Британской академии наук в 1999 году[2][11][12].
- Премия Уайтхеда (1983)
Публикации править
- Неопределённый спутник рссуждения: Математическая перспектива, Cambridge University Press, 1994, ISBN 0-521-46089-1.
Литература править
- Д. Б. Парис, Л. Харрингтон. Математическая неполнота в арифметике Пеано. — 1977 ed. — Б.: Джон Барвис, 1977. — Т. 123. — С. 1133—1142. — 2275 с.
- Л. Кирби, Д. Б. Парис. Доступные результаты независимости для арифметики Пеано. — 1982 ed. — Б.: Лондонское математическое общество, 1982. — Т. 14. — С. 285—293. — 578 с. Архивная копия от 25 августа 2011 на Wayback Machine
- Д. Б. Парис. Спутник неопределённого рассуждения: математическая перспектива, Кембриджские тракты в теоретической информатике 39, Cambridge University Press, 1994. — К.: Кембриджский университет, 1994. — ISBN 0521460891.
Примечания править
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ 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" (англ.). Архивировано из оригинала 20 января 2016. Дата обращения: 24 декабря 2017.
- ↑ 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.
- ↑ Kirby, L.; Paris, J. Accessible Independence Results for Peano Arithmetic. Bulletin of the London Mathematical Society. (1982). Дата обращения: 24 декабря 2017. Архивировано 16 января 2021 года.
- ↑ 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.
- ↑ 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.
- ↑ J.B. Paris, L.A.S. Kirby. ∑n-Collection Schemas in Arithmetic. — С. 199—209. — ISBN 9780444851789. — doi:10.1016/s0049-237x(08)72003-2.
- ↑ [https://www.scopus.com/authid/detail.url?authorId=14043882800 Scopus preview - Scopus - Author details (Paris, Jeff Bruce)] (англ.). www.scopus.com. Дата обращения: 24 декабря 2017.
- ↑ Wayback Machine (англ.). web.archive.org. Дата обращения: 24 декабря 2017.
- ↑ Jeffrey Paris - The Mathematics Genealogy Project. www.genealogy.math.ndsu.nodak.edu. Дата обращения: 24 декабря 2017. Архивировано 13 июля 2018 года.
- ↑ British Academy Fellows (англ.). Дата обращения: 24 декабря 2017. Архивировано 3 марта 2016 года.
- ↑ British Academy Review 1998-1999 - The Fellowship (23 октября 2007). Дата обращения: 24 декабря 2017. Архивировано из оригинала 23 октября 2007 года.
Ссылки править
- maths.manchester.ac.uk/~jeff (англ.) — официальный сайт Джеффа Парижа
- MathWorld (англ.)