Jeff Paris (mathematician)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Jeff Paris
Jeffrey Paris.jpeg
Jeff Paris in Berkeley, California
Native name
Jeffrey Bruce Paris
Born (1944-11-15) 15 November 1944 (age 75)[1]
Alma materUniversity of Manchester
Known for
AwardsWhitehead Prize (1983)
FBA (1999)
Scientific career
FieldsMathematical logic
InstitutionsUniversity of Manchester
ThesisLarge Cardinals and the Generalized Continuum Hypothesis (1969)
Doctoral advisorRobin Gandy[2]
Websitewww.maths.manchester.ac.uk/~jeff

Jeffrey Bruce "Jeff" Paris, FBA (/ˈpærɪs/; born 15 November 1944) is a British mathematician and Professor of Logic in the School of Mathematics at the University of Manchester.[3][4][5][6][7][8]

Education[edit]

Paris gained his doctorate under Robin Gandy at Manchester in 1969 with a dissertation entitled Large Cardinals and the Generalized Continuum Hypothesis.

Research[edit]

Paris is known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles.

Awards and honours[edit]

Paris was elected Fellow of the British Academy in 1999.[1][9]

Personal life[edit]

Paris was married to Malvyn Loraine Blackburn until 1983 when he married Alena Vencovská. He has three sons and three daughters including runner Jasmin Paris.[10]

References[edit]

  1. ^ a b "PARIS, Prof. Jeffrey Bruce". Who's Who 2014, A & C Black, an imprint of Bloomsbury Publishing plc, 2014; online edn, Oxford University Press.(subscription required)
  2. ^ Jeff Paris at the Mathematics Genealogy Project
  3. ^ Paris, J. and Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In Handbook of Mathematical Logic (ed. J. Barwise), pp. 1133–1142. Amsterdam, Netherlands: North-Holland, 1977.
  4. ^ Kirby, L.; Paris, J. (1982). "Accessible Independence Results for Peano Arithmetic" (PDF). Bulletin of the London Mathematical Society. 14 (4): 285. CiteSeerX 10.1.1.107.3303. doi:10.1112/blms/14.4.285.
  5. ^ Paris J.B.: The uncertain reasoner's companion: a mathematical perspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0-521-46089-1
  6. ^ Paris, J. B.; Kirby, L. A. S. (1978). "∑n-Collection Schemas in Arithmetic". Logic Colloquium '77. Studies in Logic and the Foundations of Mathematics. 96. p. 199. doi:10.1016/S0049-237X(08)72003-2. ISBN 9780444851789.
  7. ^ Jeff Paris's publications indexed by the Scopus bibliographic database. (subscription required)
  8. ^ List of publications from Microsoft Academic
  9. ^ "Elections to Ordinary Fellowship". Archived from the original on October 23, 2007. Retrieved May 17, 2007.
  10. ^ "Who's who 2019 Paris, Prof. Jeffrey Bruce". 2018. doi:10.1093/ww/9780199540884.001.0001 (inactive 2019-08-20). Retrieved Jan 20, 2019. Cite journal requires |journal= (help)