Джефф Пэрис (математик)
Джефф Пэрис | |
---|---|
![]() Париж в 1974 году | |
Рожденный | Джеффри Брюс Пэрис 15 ноября 1944 г. [2] |
Альма-матер | Манчестерский университет |
Известный | |
Дети | 6, включая Жасмин |
Награды | Премия Уайтхеда (1983) |
Научная карьера | |
Поля | Математическая логика |
Учреждения | Манчестерский университет |
Диссертация | Большие кардиналы и гипотеза обобщенного континуума (1969) |
Докторантура | Робин Ганди [1] |
Веб-сайт | старыйwww |
Джеффри Брюс Пэрис FBA (родился 15 ноября 1944 г.) — британский математик и профессор логики математической школы университета Манчестерского . [3] [4] [5] [6]
Образование
[ редактировать ]Пэрис получил докторскую степень под руководством Робина Ганди в Манчестере в 1969 году, защитив диссертацию на тему « Большие кардиналы и гипотеза обобщенного континуума» . [1]
Исследования и карьера
[ редактировать ]Пэрис известен своими работами по математической логике , в частности по доказуемости в арифметике, неопределенным рассуждениям и индуктивной логике с упором на принципы рациональности и здравого смысла.
Теорема Пэрис -Харрингтона [7] — это естественное утверждение теории Рамсея, которое выражается в арифметике Пеано , но недоказуемо в рамках этой системы, и является иллюстрацией первой теоремы Гёделя о неполноте .
Награды и почести
[ редактировать ]Пэрис была удостоена премии Уайтхеда в 1983 году и избрана членом Британской академии (FBA) в 1999 году. [2] [8]
Личная жизнь
[ редактировать ]Пэрис был женат на Малвин Лорейн Блэкберн до 1983 года, когда он женился на Алене Венцовской. У него трое сыновей и три дочери, в том числе бегунья Жасмин Пэрис . [2]
Ссылки
[ редактировать ]- ^ Jump up to: а б Джефф Пэрис в проекте «Математическая генеалогия»
- ^ Jump up to: а б с Анон (2007). «Париж, профессор Джеффри Брюс» . Кто есть кто (онлайн- изд. Oxford University Press ). Оксфорд: A&C Black. дои : 10.1093/ww/9780199540884.013.U30030 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Кирби, Л.; Пэрис, Дж. (1982). «Доступные результаты независимости для арифметики Пеано» (PDF) . Бюллетень Лондонского математического общества . 14 (4): 285. CiteSeerX 10.1.1.107.3303 . дои : 10.1112/blms/14.4.285 .
- ^ Пэрис Дж.Б.: Спутник неуверенного мыслителя: математическая перспектива , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1
- ^ Пэрис, Дж.Б.; Кирби, Лос-Анджелес (1978). «Σn-Схемы коллекций в арифметике». Логический коллоквиум '77 . Исследования по логике и основам математики. Том. 96. с. 199. дои : 10.1016/S0049-237X(08)72003-2 . ISBN 9780444851789 .
- ^ Публикации Джеффа Пэрис , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Пэрис, Джефф; Харрингтон, Лео (1977). «Математическая неполнота в арифметике Пеано». В Барвайзе, Джон; Кейслер, Х. Джером (ред.). Справочник по математической логике . Амстердам; Нью-Йорк: Северная Голландия. стр. 1133–1142. ISBN 978-0-7204-2285-6 .
- ^ «Выборы в рядовые товарищества» . Архивировано из оригинала 23 октября 2007 года . Проверено 17 мая 2007 г.