Jeff Paris (mathematician)

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]

For the musician, see Jeff Paris (musician).
Jeff Paris
Jeffrey Bruce Paris
Jeff Paris in Berkeley, California
Born (1944-11-15) 15 November 1944[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]
Websiteoldwww.ma.man.ac.uk/~jeff/

Education

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

Research

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

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

Personal life

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
  1. "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.013.U30030. Retrieved Jan 20, 2019. Cite journal requires |journal= (help)



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.