Биография и научная деятельность
В Манчестерском университете Парис защитил под руководством Робина Ганди две кандидатские дессертации по темам «Большие кардиналы» и «Обобщённая гипотеза континуума»[9].
Парис известен своими работами по математической логике, и в частности доказуемостью в арифметических, неопределённых рассуждениях и индуктивной логике с упором на рациональность и принципы здравого смысла. Автор теоремы Париса–Харрингтона.
Публикации
- Неопределённый спутник рссуждения: Математическая перспектива, 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 года.
- Д. Б. Парис. Спутник неопределённого рассуждения: математическая перспектива, Кембриджские тракты в теоретической информатике 39, Cambridge University Press, 1994. — К.: Кембриджский университет, 1994. — ISBN 0521460891.
Примечания
- 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.
- ↑ 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)).
- ↑ 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.
- ↑ British Academy Fellows (англ.).
- ↑ British Academy Review 1998-1999 - The Fellowship (неопр.) (недоступная ссылка) (23 октября 2007). Проверено 24 декабря 2017. Архивировано 23 октября 2007 года.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .