Interested Article - Парис, Джефф

Джеффри (Джефф) Брюс Парис (род. 15 ноября 1944 , Великобритания ) — британский математик, преподаватель в Манчестерском университете .

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

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

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

Награды

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

Премия Уайтхеда (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
Д. Б. Парис. . — К. : Кембриджский университет, 1994. — ISBN 0521460891 .

Примечания

(англ.) — 1997.
↑ (англ.) . из оригинала 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. . Bulletin of the London Mathematical Society. (1982). Дата обращения: 24 декабря 2017. 16 января 2021 года.
Laurie Kirby, Jeff Paris. (англ.) // Bulletin of the London Mathematical Society. — 1982-07-01. — Vol. 14 , iss. 4 . — P. 285—293 . — ISSN . — doi : .
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. . — С. 199—209 . — ISBN 9780444851789 . — doi : .
[ Scopus preview - Scopus - Author details (Paris, Jeff Bruce)] (англ.) . www.scopus.com. Дата обращения: 24 декабря 2017.
(англ.) . web.archive.org. Дата обращения: 24 декабря 2017.
. www.genealogy.math.ndsu.nodak.edu. Дата обращения: 24 декабря 2017. 13 июля 2018 года.
(англ.) . Дата обращения: 24 декабря 2017. 3 марта 2016 года.
(23 октября 2007). Дата обращения: 24 декабря 2017. Архивировано из 23 октября 2007 года.